Intuitionistic interpretation of deductive databases with incomplete information
From MaRDI portal
Publication:1341709
DOI10.1016/0304-3975(94)90191-0zbMath0938.68618OpenAlexW1964873391MaRDI QIDQ1341709
Laks V. S. Lakshmanan, Fangqing Dong
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
Related Items
Querying incomplete information in RDF with SPARQL ⋮ Intuitionistic interpretation of deductive databases with incomplete information ⋮ The complexity of query evaluation in indefinite temporal constraint databases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Querying logical databases
- The relational model of data and cylindric algebras
- On the representation and querying of sets of possible worlds
- Intuitionistic interpretation of deductive databases with incomplete information
- Clausal intuitionistic logic I. fixed-point semantics
- An algebraic evaluation method for deduction in incomplete data bases
- Clausal intuitionistic logic II. tableau proof procedures
