Intuitionistic interpretation of deductive databases with incomplete information

DOI10.1016/0304-3975(94)90191-0MaRDI QIDQ1341709zbMATH OpenOpenAlexFDO

Authors Fangqing Dong, Laks V. S. Lakshmanan

Publication date 27 June 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90191-0

Mathematics Subject Classification ID

Database theory (68P15)

Cites work

• An algebraic evaluation method for deduction in incomplete data bases
• Clausal intuitionistic logic I. fixed-point semantics
• Clausal intuitionistic logic II. tableau proof procedures
• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• Intuitionistic interpretation of deductive databases with incomplete information
• On the representation and querying of sets of possible worlds
• Querying logical databases
• The relational model of data and cylindric algebras

Cited in

(3)

• Intuitionistic interpretation of deductive databases with incomplete information
• The complexity of query evaluation in indefinite temporal constraint databases
• Querying incomplete information in RDF with SPARQL

This page was built for publication: Intuitionistic interpretation of deductive databases with incomplete information

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