Login / Signup
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints.
Bart Bogaerts
Luís Cruz-Filipe
Published in:
ACM Trans. Comput. Log. (2021)
Keyphrases
</>
integrity constraints
deductive databases
fixpoint
model theoretic
conjunctive queries
database schema
functional dependencies
query answering
logic programs
stable models
xml documents
recursive queries
datalog programs
xml schema
null values
logic programming
knowledge representation
special case