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

DOI10.1017/S1471068402001515zbMath1087.68559OpenAlexW1502641483MaRDI QIDQ4452592

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

zbMATH Keywords

nonmonotonic reasoningDatalogdeductive databaseslogic and databasesmonotonic aggregates.

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (5)

Modular materialisation of Datalog programs ⋮ Top-down and Bottom-up Evaluation Procedurally Integrated ⋮ Scaling-up reasoning and advanced analytics on BigData ⋮ Fixpoint semantics and optimization of recursive Datalog programs with aggregates ⋮ Temporal stratification tests for linear and branching-time deductive databases

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