Checking functional consistency in deductive databases

DOI10.1016/0020-0190(90)90059-7MaRDI QIDQ911816zbMATH OpenOpenAlexFDO

Authors Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0020-0190(90)90059-7

zbMATH Keywords

Datalogdeductive databaseslogic programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Recommendations

• Functional queries in datalog
• Datafun: a functional Datalog
• Preservation of integrity constraints in definite DATALOG programs
• A safe relational calculus for functional logic deductive databases
• Update operations in deductive databases with functional dependencies

Cites work

• A relational model of data for large shared data banks
• Checking functional consistency in deductive databases
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• Inference of monotonicity constraints in Datalog programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(3)

• Testing unboundedness of database schemes and functional dependencies
• Preservation of integrity constraints in definite DATALOG programs
• Checking functional consistency in deductive databases

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Checking functional consistency in deductive databases

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