[图书][B] Logic Programming and Databases: An Overview
This book deals with the integration of logic programming and databases to generate new
types of systems, which extend the frontiers of computer science in an important direction …
types of systems, which extend the frontiers of computer science in an important direction …
[图书][B] Foundations of databases
S Abiteboul, R Hull, V Vianu - 1995 - sigmod.org
This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …
databases, and presents a number of advanced topics in a unified framework. Some of the …
Integrity control in relational database systems—an overview
PWPJ Grefen, PMG Apers - Data & Knowledge Engineering, 1993 - Elsevier
This paper gives an overview of research regarding integrity control or integrity constraint
handling in relational database management systems. The topic of constraint handling is …
handling in relational database management systems. The topic of constraint handling is …
[HTML][HTML] A survey of deductive database systems
R Ramakrishnan, JD Ullman - The journal of logic programming, 1995 - Elsevier
The area of deductive databases has matured in recent years, and it now seems appropriate
to reflect upon what has been achieved and what the future holds. In this paper, we provide …
to reflect upon what has been achieved and what the future holds. In this paper, we provide …
ConceptBase—a deductive object base for meta data management
M Jarke, R Gallersdörfer, MA Jeusfeld, M Staudt… - Journal of Intelligent …, 1995 - Springer
Deductive object bases attempt to combine the advantages of deductive relational
databases with those of object-oriented databases. We review modeling and …
databases with those of object-oriented databases. We review modeling and …
SATCHMO: a theorem prover implemented in Prolog
Satchmo is a theorem prover consisting of just a few short and simple Prolog programs.
Prolog may be used for representing problem clauses as well. SATCHMO is based on a …
Prolog may be used for representing problem clauses as well. SATCHMO is based on a …
Specifying and enforcing intertask dependencies
Extensions of the traditional atomic transaction model are needed to support the
development of multi-system applications or workflows that access heterogeneous …
development of multi-system applications or workflows that access heterogeneous …
Semantic errors in SQL queries: A quite complete list
S Brass, C Goldberg - Journal of Systems and Software, 2006 - Elsevier
We investigate classes of SQL queries which are syntactically correct, but certainly not
intended, no matter for which task the query was written. For instance, queries that are …
intended, no matter for which task the query was written. For instance, queries that are …
Automatic generation of production rules for integrity maintenance
In this article we present an approach to integrity maintenance, consisting of automatically
generating production rules for integrity enforcement. Constraints are expressed as …
generating production rules for integrity enforcement. Constraints are expressed as …
[PDF][PDF] Integrity Constraints Checking In Deductive Databases.
A Olivé - VLDB, 1991 - vldb.org
We propose a new method for integrity checking in deductive databases. The method
augments a database with a set of transition and internal events rules, which explicitly define …
augments a database with a set of transition and internal events rules, which explicitly define …