The deductive database system [Lscr ][Dscr ][Lscr ]++

DOI10.1017/S1471068402001515MaRDI QIDQ4452592zbMATH OpenOpenAlexFDO

Authors Faiz Arni, Kayliang Ong, Shalom Tsur, Haixun Wang, Carlo Zaniolo

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068402001515

zbMATH Keywords

nonmonotonic reasoningDatalogdeductive databaseslogic and databasesmonotonic aggregates.

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Nonmonotonic reasoning in \(LDL^{++}\)
• The deevolution of concurrent logic programming languages
• Deductive Databases: Implementation, Parallelism and Applications
• scientific article; zbMATH DE number 545140
• Publication:4504012

Cited in

(6)

• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Temporal stratification tests for linear and branching-time deductive databases
• Modular materialisation of Datalog programs
• Deductive Databases: Implementation, Parallelism and Applications
• Top-down and bottom-up evaluation procedurally integrated
• Scaling-up reasoning and advanced analytics on BigData

This page was built for publication: The deductive database system [Lscr ][Dscr ][Lscr ]++

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