AbstractTesting is traditionally used to check the correctness of programs, but we argue that it can also be used to check the correctness of databases. In this paper, we present a theoretical foundation for declarative testing of logic databases, which can be used to check the correctness (i.e., consistency or completeness) of databases, as well as the correctness of the user's queries on databases
this paper. In particular, the paper reports on a very significant progress made recently in this a...
The word “pragmatic ” in the title alludes to the philosophical tradition of pragmatism, which is ...
Data completeness is commonly regarded as one of the key aspects of data quality. With this paper we...
AbstractTesting is traditionally used to check the correctness of programs, but we argue that it can...
. We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We...
We advocate a declarative approach to proving properties of logic programs. Total correctness can be...
We advocate using the declarative reading in proving partial correctness of logic programs, when the...
Databases may not always satisfy their integrity constraints (ICs) and a number of different reasons...
In this paper, we investigate the decidability problem of logic program semantics and observables, f...
AbstractWe consider logic databases as logic programs and suggest how to deal with the problem of in...
www.scs.carleton.ca / ∼ bertossi Abstract: This course addresses the logical aspects of the problem...
AbstractWe present a proof method in the style of Hoare's logic, aimed at providing a unifying frame...
AbstractThis paper surveys and compares different techniques investigated in order to integrate nega...
Consistent answers from a relational database that violates a given set of integrity constraints (IC...
Consistent answers to a query from an inconsistent database are answers that can be simultaneously r...
this paper. In particular, the paper reports on a very significant progress made recently in this a...
The word “pragmatic ” in the title alludes to the philosophical tradition of pragmatism, which is ...
Data completeness is commonly regarded as one of the key aspects of data quality. With this paper we...
AbstractTesting is traditionally used to check the correctness of programs, but we argue that it can...
. We use assertions to reduce the quantity of queries in declarative diagnosis of logic programs. We...
We advocate a declarative approach to proving properties of logic programs. Total correctness can be...
We advocate using the declarative reading in proving partial correctness of logic programs, when the...
Databases may not always satisfy their integrity constraints (ICs) and a number of different reasons...
In this paper, we investigate the decidability problem of logic program semantics and observables, f...
AbstractWe consider logic databases as logic programs and suggest how to deal with the problem of in...
www.scs.carleton.ca / ∼ bertossi Abstract: This course addresses the logical aspects of the problem...
AbstractWe present a proof method in the style of Hoare's logic, aimed at providing a unifying frame...
AbstractThis paper surveys and compares different techniques investigated in order to integrate nega...
Consistent answers from a relational database that violates a given set of integrity constraints (IC...
Consistent answers to a query from an inconsistent database are answers that can be simultaneously r...
this paper. In particular, the paper reports on a very significant progress made recently in this a...
The word “pragmatic ” in the title alludes to the philosophical tradition of pragmatism, which is ...
Data completeness is commonly regarded as one of the key aspects of data quality. With this paper we...
DOI
Add to ORKG