Static analysis in datalog extensions.

We consider the problems of containment, equivalence, satisfiability and query-reachability for datalog programs with negation. These problems are important for optimizing datalog programs. We show that both query-reachability and satisfiability are decidable for programs with stratified negation pr...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Τόπος έκδοσης:	Journal of the ACM 48, 5 (2001).
Κύριος συγγραφέας:	Halevy, Alon Y.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	Theory of computation. Logics and meanings of programs. Specifying and Verifying and Reasoning about Programs. Information systems. Database management. Languages. Algorithms. Theory. Verification.