scientific article; zbMATH DE number 1953141

MaRDI QIDQ4414545zbMATH OpenFDO

Authors Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi

Publication date 25 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2572/25720330.htm

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Decidable containment of recursive queries
• Bounded queries in recursion theory
• scientific article; zbMATH DE number 1951561
• A technique for proving decidability of containment and equivalence of linear constraint queries
• On the decidability and axiomatization of query finiteness in deductive databases
• Completeness results for recursive data bases
• scientific article; zbMATH DE number 4092827
• On compiling queries in recursive first-order databases

Cited in

(2)

• Decidable containment of recursive queries
• scientific article; zbMATH DE number 2241908 (Why is no real title available?)

This page was built for publication:

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