A parametric approach to deductive databases with uncertainty

IEEE Transactions on Knowledge and Data Engineering

Volumn 13, Issue 4, 2001, Pages 554-570

  Lakshmanan, Laks V S ^a   Shiri, Nematollaah ^b  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b TARBIAT MODARES UNIVERSITY   (Iran)

Author keywords

Conjunctive query containment; Deductive databases; Fixpoint computation; Multisets; Proof theory; Query optimization; Semantics; Uncertainty

Indexed keywords

COMPUTATIONAL METHODS; LOGIC PROGRAMMING; OPTIMIZATION; PROBABILISTIC LOGICS; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING;

CONJUNCTIVE QUERY CONTAINMENT; DEDUCTIVE DATABASES; FIXPOINT COMPUTATION; MULTISETS; QUERY OPTIMIZATION;

DATABASE SYSTEMS;

EID: 0035387771     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.940732     Document Type: Article

References (33)

1. Paraconsistent logic programming
2. A model of inexact reasoning in medicine
3. Optimal implementation of conjunctive queries in relational databases
4. Generalized horn clause programs
5. Towards possibilistic logic programming
6. Efficient interpretation of propositional multi-valued logic programs
7. Combining fuzzy information from multiple systems
8. Logic programming on a topological bilattice
9. Bilattices and the semantics of logic programming
10. Exploiting data dependencies in many-valued logics
11. Containment of conjunctive queries: Beyond relations as sets
12. On the semantics of rule-based expert systems with uncertainty
13. A logic for reasoning with inconsistency
14. Theory of generalized annotated logic programming and its applications
15. Uncertain deductive databases: A hybrid approach
16. An epistemic foundation for logic programming with uncertainty
17. Probabilistic deductive databases
18. Query processing in annotated logic programming: Theory and implementation
19. Relating dempster-shafer theory to stable semantics
20. Probabilistic logic programming
21. A semantical framework for supporting subjective and conditional probabilities in deductive databases
22. Modeling uncertainty in databases
23. Optimizing datalog programs
24. Logic programs with uncertainties: A tool for implementing expert systems
25. Towards a generalized theory of deductive databases with uncertainty
26. On the semantics of quantitative logic programs
27. Quantitative deduction and its fixpoint theory
28. The semantics of predicate logic as a programming language
29. Fuzzy sets
30. Fuzzy sets as a basis for a theory of possibility