Embedding deductive capabilities in relational database systems

DOI10.1007/BF00991656zbMath0562.68072MaRDI QIDQ3675555

Camilla B. Schwind

Publication date: 1984

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

zbMATH Keywords

Horn clausesrelational algebradeductive systemdatabase deduction

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)

Cites Work

• Computable queries for relational data bases
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Embedding deductive capabilities in relational database systems