Checking functional consistency in deductive databases

DOI10.1016/0020-0190(90)90059-7zbMath0697.68096OpenAlexW2029465798MaRDI QIDQ911816

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

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

logic programmingDatalogdeductive databases

Mathematics Subject Classification ID

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

Related Items (1)

Checking functional consistency in deductive databases

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Checking functional consistency in deductive databases
• Inference of monotonicity constraints in Datalog programs
• The Semantics of Predicate Logic as a Programming Language
• A relational model of data for large shared data banks

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