Preservation of integrity constraints in definite DATALOG programs

DOI10.1016/0020-0190(92)90083-8MaRDI QIDQ1208438zbMATH OpenOpenAlexFDO

Authors Ke Wang, Li Yan Yuan

Publication date 16 May 1993

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(92)90083-8

zbMATH Keywords

DATALOG programsdeductive databasesdependency- preservingintegrity constraints

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Inference of monotonicity constraints in Datalog programs
• Integrity constraints in logic databases
• scientific article; zbMATH DE number 1406215
• On simplification of database integrity constraints
• Checking functional consistency in deductive databases

Cites work

• A Proof Procedure for Data Dependencies
• Equivalence of Relational Database Schemes
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)

Cited in

(6)

• Inference of monotonicity constraints in Datalog programs
• Preserving constraints with the stable chase
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• scientific article; zbMATH DE number 638306 (Why is no real title available?)
• A semantic approach to optimize linear datalog programs
• Checking functional consistency in deductive databases

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Preservation of integrity constraints in definite DATALOG programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208438)