中文
相关论文

相关论文: The Exception that Improves the Rule

200 篇论文

We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our…

编程语言 · 计算机科学 2017-01-04 Michael Hanus , Julia Krone

The development of data science expertise requires tacit, process-oriented skills that are difficult to teach directly. This study addresses the resulting challenge of empirically understanding how the problem-solving processes of experts…

计算机与社会 · 计算机科学 2026-02-18 Manuel Valle Torre , Marcus Specht , Catharine Oertel

This paper presents an open-source curatorial toolkit intended to produce well-structured and interoperable data. Curation is divided into discrete components, with a schema-centric focus for auditable restructuring of complex and scattered…

数据库 · 计算机科学 2024-09-04 Gavin Chait

Retrieval-augmented LLM agents increasingly rely on curated skill banks: collections of reusable textual principles that guide decision making on complex tasks. Existing approaches typically expand these banks in an append-only fashion,…

计算与语言 · 计算机科学 2026-05-29 Wentao Hu , Zhendong Chu , Yiming Zhang , Junda Wu , Ming Jin , Xiangyu Zhao , Yilei Shao , Yanfeng Wang , Qingsong Wen

Schema evolution is a crucial aspect in database management. The proposed taxonomies of schema changes have neglected the set of operations that involves relationships between entity types: aggregation and references, as well as the…

Intensive care units (ICUs) are complex and data-rich environments. Data routinely collected in the ICUs provides tremendous opportunities for machine learning, but their use comes with significant challenges. Complex problems may require…

人机交互 · 计算机科学 2024-06-05 Marceli Wac , Raul Santos-Rodriguez , Chris McWilliams , Christopher Bourdeaux

Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and points-to analyses. We tackle the challenge of analyzing…

编程语言 · 计算机科学 2016-11-18 Shuying Liang , Weibin Sun , Matthew Might , Andy Keep , David Van Horn

Within the big data tsunami, relational databases and SQL are still there and remain mandatory in most of cases for accessing data. On the one hand, SQL is easy-to-use by non specialists and allows to identify pertinent initial data at the…

数据库 · 计算机科学 2018-02-09 Marie Le Guilly , Jean-Marc Petit , Vasile-Marian Scuturici

In its traditional definition, a repair of an inconsistent database is a consistent database that differs from the inconsistent one in a "minimal way". Often, repairs are not equally legitimate, as it is desired to prefer one over another;…

数据库 · 计算机科学 2016-03-08 Benny Kimelfeld , Ester Livshits , Liat Peterfreund

Relational databases are used ubiquitously. They are managed by database management systems (DBMS), which allow inserting, modifying, and querying data using a domain-specific language called Structured Query Language (SQL). Popular DBMS…

数据库 · 计算机科学 2020-01-14 Manuel Rigger , Zhendong Su

Data integration between web sources and relational data is a key challenge faced by data scientists and spreadsheet users. There are two main challenges in programmatically joining web data with relational data. First, most websites do not…

数据库 · 计算机科学 2017-11-17 Jeevana Priya Inala , Rishabh Singh

Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result, popular spreadsheet software, such as Excel, supports…

人工智能 · 计算机科学 2022-12-06 Mukul Singh , José Cambronero , Sumit Gulwani , Vu Le , Carina Negreanu , Mohammad Raza , Gust Verbruggen

Tables are a prevalent format for structured data, yet their metadata, such as semantic types and column relationships, is often incomplete or ambiguous. Column annotation tasks, including Column Type Annotation (CTA) and Column Property…

数据库 · 计算机科学 2025-08-26 Zhihao Ding , Yongkang Sun , Jieming Shi

Traditional enterprise warehouse solutions center around an analytical database system that is monolithic and inflexible: data needs to be extracted, transformed, and loaded into the rigid relational form before analysis. It takes years of…

数据库 · 计算机科学 2012-09-10 Reynold S. Xin

Saving, or checkpointing, intermediate results during interactive data exploration can potentially boost user productivity. However, existing studies on this topic are limited, as they primarily rely on small-scale experiments with human…

人机交互 · 计算机科学 2025-04-03 Hanxi Fang , Supawit Chockchowwat , Hari Sundaram , Yongjoo Park

Querying is one of the basic functionality expected from a database system. Query efficiency is adversely affected by increase in the number of participating tables. Also, querying based on syntax largely limits the gamut of queries a…

数据库 · 计算机科学 2011-04-08 Gowri Shankar Ramaswamy , F Sagayaraj Francis

Jupyter Notebook is an interactive development environment commonly used for rapid experimentation of machine learning (ML) solutions. Describing the ML activities performed along code cells improves the readability and understanding of…

软件工程 · 计算机科学 2024-03-13 Miguel Perez , Selin Aydin , Horst Lichter

Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly,…

编程语言 · 计算机科学 2018-07-10 Rudi Horn , Roly Perera , James Cheney

We introduce a novel sensitivity analysis framework for large scale classification problems that can be used when a small number of instances are incrementally added or removed. For quickly updating the classifier in such a situation,…

机器学习 · 统计学 2015-04-14 Shota Okumura , Yoshiki Suzuki , Ichiro Takeuchi

Working with data in table form is usually considered a preparatory and tedious step in the sensemaking pipeline; a way of getting the data ready for more sophisticated visualization and analytical tools. But for many people, spreadsheets…

人机交互 · 计算机科学 2021-06-30 Lyn Bartram , Michael Correll , Melanie Tory