Logic as a query language: From Frege to XML

DOI10.1007/3-540-36494-3_1MaRDI QIDQ4418631zbMATH OpenFDO

Authors Victor Vianu

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15)

Recommendations

• A query language for logic architectures
• Logical Foundations of XML and XQuery
• Querying XML documents in logic programming
• A declarative embedding of XQuery in a functional-logic language
• Logic language of queries
• From relational specifications to logic programs
• scientific article; zbMATH DE number 2088771

Cited in

(10)

• On the unusual effectiveness of logic in computer science
• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• Combinatorial number theory. Proceedings of the 3rd `Integers Conference 2007', Carrollton, GA, USA, October 24--27, 2007
• Logical Foundations of XML and XQuery
• Many-Sorted First-Order Logic Database Language
• scientific article; zbMATH DE number 176241 (Why is no real title available?)
• Logics for emerging applications of databases.
• Pattern logics and auxiliary relations
• A declarative embedding of XQuery in a functional-logic language
• scientific article; zbMATH DE number 2241921 (Why is no real title available?)

This page was built for publication: Logic as a query language: From Frege to XML

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