论文信息 - On a static verification of integrity constraints in relational databases

On a static verification of integrity constraints in relational databases

The paper proposes a new approach to verification of integrity constraints in relational databases. According to the relational database paradigm, integrity constraints express certain conditions that should be preserved by all instances of a given database. Usually these conditions are checked dynamically, when the database is updated.

Andrzej Szałas | Jaroslaw Kachniarz | A. Szałas | Jaroslaw Kachniarz

[1] Andrzej Szalas. On the Correspondence between Modal and Classical Logic: An Automated Approach , 1993, J. Log. Comput..

[2] Jack Minker,et al. Logic and Data Bases , 1978, Springer US.

[3] Jack Minker. Foundations of deductive databases and logic programming , 1988 .

[4] Raymond Reiter,et al. On Integrity Constraints , 1988, TARK.

[5] Robert M. Colomb. Deductive Databases and Their Applications , 1998 .

[6] Robert A. Kowalski. Logic for Data Description , 1977, Logic and Data Bases.

[7] John Grant,et al. Foundations of Semantic Query Optimization for Deductive Databases , 1988, Foundations of Deductive Databases and Logic Programming..

[8] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.

[9] John W. Lloyd,et al. A Basis for Deductive Database Systems II , 1986, J. Log. Program..

[10] Patrick Doherty,et al. Declarative PTIME Queries for Relational Databases using Quantifier Elimination , 1999, J. Log. Comput..

[11] Robert A. Kowalski,et al. A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[12] Serge Abiteboul,et al. Foundations of Databases , 1994 .

[13] W. Ackermann. Untersuchungen über das Eliminationsproblem der mathematischen Logik , 1935 .