A fixpoint semantics for stratified databases.

Published in: J. Comput. Sci. Technol. (1993)

Keyphrases

databases
fixpoint semantics
database
relational databases
knowledge discovery
logic programs
database systems
data management
fixpoint
computational complexity
query language
data sources
programming language
deductive databases
probabilistic inference
theorem proving
datalog programs