scientific article; zbMATH DE number 1953141

zbMATH Open1022.68028MaRDI QIDQ4414545FDOQ4414545

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (2)

• Decidable containment of recursive queries
• Title not available (Why is that?)

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)