Integrity constraint checking in stratified databases
- Lloyd, J.W.
- Sonenberg, E.A.
- Topor, R.W.
DOIAbstract
AbstractWe prove the correctness of a simplification method for checking static integrity constraints in stratified deductive databases
AbstractWe prove the correctness of a simplification method for checking static integrity constraints in stratified deductive databases
An important aim of a database system is to guarantee database consistency, which means that the dat...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
A federated database is comprised of multiple interconnected databases that cooperate in an autonomo...
AbstractWe prove the correctness of a simplification method for checking static integrity constraint...
An update of a consistent database can influence the integrity of the database. The available integr...
We present proof procedure for checking the integrity of a deductive database. We follow the proposa...
We propose a new method for integrity checking in deductive databases. The method augments a databas...
Abstract. Integrity checking is an essential means for the preservation of the intended semantics of...
AbstractWe consider logic databases as logic programs and suggest how to deal with the problem of in...
Abstract. In the context of relational as well as deductive databases, correct and efficient integri...
A method is presented for checking integrity constraints in a deductive database in which verificati...
When computerised databases began to be used in business applications, there naturally arose a conce...
The problem of Integrity Constraints checking in the area of logic databases is considered and some ...
This article presents a data base programming language: Th'emis supporting subtyping and class ...
Integrity constraints represent knowledge about data with which a database must be consistent. The p...
An important aim of a database system is to guarantee database consistency, which means that the dat...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
A federated database is comprised of multiple interconnected databases that cooperate in an autonomo...
AbstractWe prove the correctness of a simplification method for checking static integrity constraint...
An update of a consistent database can influence the integrity of the database. The available integr...
We present proof procedure for checking the integrity of a deductive database. We follow the proposa...
We propose a new method for integrity checking in deductive databases. The method augments a databas...
Abstract. Integrity checking is an essential means for the preservation of the intended semantics of...
AbstractWe consider logic databases as logic programs and suggest how to deal with the problem of in...
Abstract. In the context of relational as well as deductive databases, correct and efficient integri...
A method is presented for checking integrity constraints in a deductive database in which verificati...
When computerised databases began to be used in business applications, there naturally arose a conce...
The problem of Integrity Constraints checking in the area of logic databases is considered and some ...
This article presents a data base programming language: Th'emis supporting subtyping and class ...
Integrity constraints represent knowledge about data with which a database must be consistent. The p...
An important aim of a database system is to guarantee database consistency, which means that the dat...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
A federated database is comprised of multiple interconnected databases that cooperate in an autonomo...
Add to ORKG