Nondeterministic, nonmonotonic logic databases

IEEE Transactions on Knowledge and Data Engineering

Volumn 13, Issue 5, 2001, Pages 813-823

  Giannotti, Fosca ^a   Manco, Giuseppe ^a   Nanni, Mirco ^b   Pedreschi, Dino ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Databases; Logic programming; Negation; Nondeterminism; Stable models

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; DATABASE SYSTEMS; OPTIMIZATION; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING;

DATALOG; NEGATION; NONDETERMINISM;

LOGIC PROGRAMMING;

EID: 0035439169     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.956102     Document Type: Article

References (27)

1. Towards a theory of declaritive knowledge
2. LDL++: A second generation deductive databases systems
3. A classification-based methodology for planning audit strategies in fraud detection
4. The logic of totally and partially ordered plans: A deductive database approach
5. Temporal deductive databases
6. The stable model semantics for logic programming
7. Programming with non determinism in deductive databases
8. Datalog++: A basis for active object-oriented databases
9. Query answering in non deterministic non monotonic logic databases
10. A deductive data model for representing and querying semistructured data
11. Experiences with a logic-based knowledge discovery support environment
12. Non-determinism in deductive databases
13. Semantics and expressive power of non deterministic constructs for deductive databases
14. On the effective semantics of temporal, non-monotonic, non-deterministic logic languages
15. Integration of deduction and induction for mining supermarket sales data
16. ELS programs and the efficient evaluation of non-stratified programs by transformation to ELS
17. Non-deterministic choice in datalog
18. A logical framework for active rules
19. Nondeterminism and XY-stratification in deductive databases (in Italian)
20. Every logic program has a natural stratification and an iterated fix point model
21. Modular stratificiation and magic sets for datalog program with negation
22. Stable models and non-determinism in logic programs with negation
23. Active database rules with transaction conscious stable model semantics
24. Negation and aggregates in recursive rules: The LDL ++ approach