JOURNAL ARTICLE
The Branching-Time Transformation Technique for Chain Datalog Programs
Panos RondogiannisManolis Gergatsoulis
Year: 2001 Journal: Journal of Intelligent Information Systems Vol: 17 (1)Pages: 71-94 Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Programming language Unary operation Branching (polymer chemistry) Deductive database Expressive power Theoretical computer science Logic programming Program transformation Declarative programming Programming paradigm Inductive programming Discrete mathematics Mathematics
Metrics
4
Cited By
0.88
FWCI (Field Weighted Citation Impact)
37
Refs
0.82
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
Restructuring chain datalog programs
Lecture notes in computer science Year: 1997 Pages: 245-264
BOOK-CHAPTER
Linear Time Datalog and Branching Time Logic
Georg GottlobErich GrädelHelmut Veith
Year: 2000 Pages: 443-467
BOOK-CHAPTER
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
Πέτρος ΠοτίκαςPanos RondogiannisManolis Gergatsoulis
Lecture notes in computer science Year: 2002 Pages: 25-45
JOURNAL ARTICLE
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
Πέτρος ΠοτίκαςPanos RondogiannisManolis Gergatsoulis
Journal: Fundamenta Informaticae Year: 2006 Vol: 72 (4)Pages: 485-527
JOURNAL ARTICLE
Optimizing chain datalog programs and their inference procedures
Journal: Technische Universität Dortmund Eldorado (Technische Universität Dortmund) Year: 1996