127 search results - page 7 / 26 » Integrity Checking in Deductive Databases |
KRDB
1996
13 years 8 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
AC
1992
Springer
13 years 11 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
JDM
2006
13 years 7 months ago
2006
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...
ADVIS
2006
Springer
14 years 1 months ago
2006
Springer
A hitherto unquestioned assumption made by all methods for integrity checking has been that the database satisfies its constraints before each update. This consistency assumption ...
COOPIS
1996
IEEE
13 years 11 months ago
1996
IEEE
A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints c...