English
Related papers

Related papers: Integrity Constraints for General-Purpose Knowledg…

200 papers

In data-intensive real-time applications, such as smart transportation and manufacturing, ensuring data freshness is essential, as using obsolete data can lead to negative outcomes. Validity intervals serve as the standard means to specify…

Databases · Computer Science 2024-07-31 Kyoung-Don Kang

A view with a binding pattern is a parameterised query on a database. Such views are used, e.g., to model Web services. To answer a query on such views, one has to orchestrate the views together in execution plans. The goal is usually to…

Databases · Computer Science 2020-10-08 Julien Romero , Nicoleta Preda , Fabian Suchanek

Remarkable performance of large language models (LLMs) in a variety of tasks brings forth many opportunities as well as challenges of utilizing them in production settings. Towards practical adoption of LLMs, multi-agent systems hold great…

Computation and Language · Computer Science 2024-02-05 Pouya Pezeshkpour , Eser Kandogan , Nikita Bhutani , Sajjadur Rahman , Tom Mitchell , Estevam Hruschka

The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a database and a set of existential rules (aka tuple-generating dependencies), it iteratively extends the database to ensure that the rules are satisfied in…

Logic in Computer Science · Computer Science 2025-05-23 David Carral , Lukas Gerlach , Lucas Larroque , Michaël Thomazo

Large Language Models (LLMs) have made significant progress in assisting users to query databases in natural language. While LLM-based techniques provide state-of-the-art results on many standard benchmarks, their performance significantly…

Artificial Intelligence · Computer Science 2024-07-09 Nina Narodytska , Shay Vargaftik

We study the termination problem of the chase algorithm, a central tool in various database problems such as the constraint implication problem, Conjunctive Query optimization, rewriting queries using views, data exchange, and data…

Databases · Computer Science 2009-09-17 Michael Meier , Michael Schmidt , Georg Lausen

Databases are an essential component of modern computing infrastructures and allow efficient manipulation of inherently structured data. The structure depends on the type and relationships of the individual data elements and on the access…

Quantum Physics · Physics 2025-02-13 Carla Rieger , Michele Grossi , Gian Giacomo Guerreschi , Sofia Vallecorsa , Martin Werner

We posit that striving for distributed systems that provide "single system image" semantics is fundamentally flawed and at odds with how systems operate in the physical world. We realize the database as an optimization of this system: a…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-03-09 Christopher S. Meiklejohn

Data security is one of the most crucial and a major challenge in the digital world. Security, privacy and integrity of data are demanded in every operation performed on internet. Whenever security of data is discussed, it is mostly in the…

Cryptography and Security · Computer Science 2012-07-04 Harshavardhan Kayarkar

Modern knowledge base systems frequently need to combine a collection of databases in different formats: e.g., relational databases, XML databases, rule bases, ontologies, etc. In the deductive database system DDBASE, we can manage these…

Databases · Computer Science 2017-01-04 Dietmar Seipel

Existence constraints were defined in the Relational Data Model, but, unfortunately, are not provided by any Relational Database Management System, except for their NOT NULL particular case. Our (Elementary) Mathematical Data Model extended…

Databases · Computer Science 2024-05-21 Christian Mancas

In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or several processes. Of particular relevance, in this setting, is…

Databases · Computer Science 2022-06-02 Heba Aamer , Marco Montali , Jan Van den Bussche

A common practice of ML systems development concerns the training of the same model under different data sets, and the use of the same (training and test) sets for different learning models. The first case is a desirable practice for…

Logic in Computer Science · Computer Science 2025-06-06 Leonardo Ceragioli , Giuseppe Primiero

Analytical SQL queries are essential for extracting insights from relational databases but concurrently introduce significant privacy risks by potentially exposing sensitive information. To mitigate these risks, numerous query sanitization…

Databases · Computer Science 2025-10-16 Loïs Ecoffet , Veronika Rehn-Sonigo , Jean-François Couchot , Catuscia Palamidessi

Real-time databases deal with time-constrained data and time-constrained transactions. The design of this kind of databases requires the introduction of new concepts to support both data structures and the dynamic behaviour of the database.…

Databases · Computer Science 2010-02-25 Nizar Idoudi , Nada louati , Claude Duvallet , Bruno Sadeg , Rafik Bouaziz , Faiez Gargouri

Today, data analysts largely rely on intuition to determine whether missing or withheld rows of a dataset significantly affect their analyses. We propose a framework that can produce automatic contingency analysis, i.e., the range of values…

Databases · Computer Science 2020-04-09 Xi Liang , Zechao Shang , Aaron J. Elmore , Sanjay Krishnan , Michael J. Franklin

A coverage type generalizes refinement types found in many functional languages with support for must-style underapproximate reasoning. Property-based testing frameworks are one particularly useful domain where such capabilities are useful…

Programming Languages · Computer Science 2025-09-03 Zhe Zhou , Benjamin Delaware , Suresh Jagannathan

A major difficulty in developing and maintaining very large knowledge bases originates from the variety of forms in which knowledge is made available to the KB builder. The objective of this research is to bring together two complementary…

Artificial Intelligence · Computer Science 2013-04-05 John Yen , Piero P. Bonissone

The demanding requirements of the new Big Data intensive era raised the need for flexible storage systems capable of handling huge volumes of unstructured data and of tackling the challenges that traditional databases were facing. NoSQL…

Databases · Computer Science 2020-03-17 Chaimae Asaad , Karim Baïna , Mounir Ghogho

Existing SQL access control mechanisms are extremely limited. Attackers can leak information and escalate their privileges using advanced database features such as views, triggers, and integrity constraints. This is not merely a problem of…

Cryptography and Security · Computer Science 2016-11-18 Marco Guarnieri , Srdjan Marinovic , David Basin
‹ Prev 1 3 4 5 6 7 10 Next ›