Embedding deductive capabilities in relational database systems

DOI10.1007/BF00991656MaRDI QIDQ3675555zbMATH OpenFDO

Authors Camilla Schwind

Publication date 1984

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

Full work available at URL https://doi.org/10.1007/BF00991656

zbMATH Keywords

database deductiondeductive systemHorn clausesrelational algebra

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3917748
• scientific article; zbMATH DE number 3874667
• scientific article; zbMATH DE number 4074545
• The deevolution of concurrent logic programming languages
• Extended database logic: Complex objects and deduction

Cites work

• Computable queries for relational data bases
• scientific article; zbMATH DE number 3648167 (Why is no real title available?)
• scientific article; zbMATH DE number 3802843 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• The Semantics of Predicate Logic as a Programming Language

Cited in

(11)

• On recursive axioms in deductive databases
• HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
• Analyzing FD inference in relational databases
• Modelling of logical knowledge and knowledge-based deduction by means of a relational database management system
• scientific article; zbMATH DE number 53778 (Why is no real title available?)
• scientific article; zbMATH DE number 638308 (Why is no real title available?)
• On the abductive or deductive nature of database schema validation and update processing problems
• Novelty in deductive databases
• Deductive Databases: Implementation, Parallelism and Applications
• Discovery Science
• scientific article; zbMATH DE number 966595 (Why is no real title available?)

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

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