The deductive database system [Lscr ][Dscr ][Lscr ]++
From MaRDI portal
Publication:4452592
DOI10.1017/S1471068402001515zbMATH Open1087.68559OpenAlexW1502641483MaRDI QIDQ4452592FDOQ4452592
Haixun Wang, Carlo Zaniolo, Shalom Tsur, Kayliang Ong, Faiz Arni
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
Recommendations
Cited In (6)
- Top-down and Bottom-up Evaluation Procedurally Integrated
- Temporal stratification tests for linear and branching-time deductive databases
- Modular materialisation of Datalog programs
- Deductive Databases: Implementation, Parallelism and Applications
- Scaling-up reasoning and advanced analytics on BigData
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates
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)