The book of L
Negation as failure for first-order queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Some extensions to the closed world assumption in databases
Proceedings on International conference on database theory
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
From standard logic to logic programming: introducing a logic based approach to artificial intelligence
Perspectives in deductive databases
Journal of Logic Programming
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph Transformations in Computer Science; International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990 Proceedings
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Logic and Data Bases
Proceedings of the International Conference on Database Theory
ICDT '86 Proceedings of the International Conference on Database Theory
Integrity Verification in Knowledge Bases
Proceedings of the First Russian Conference on Logic Programming
Logic Based Structure Rewriting Systems
Proceedings of the International Workshop on Graph Transformations in Computer Science
A Tutorial and Bibliographical Survey on Graph Grammars
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
PROGRESS: A VHL-Language Based on Graph Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Graphs as Relational Structures: An Algebraic an Logical Approach
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
From Graph Grammars to High Level Replacement Systems
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Programmed Derivations of Relational Structures
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
A Specification Environment for Graph Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Nondeterministic Control Structures for Graph Rewriting Systems
WG '91 Proceedings of the 17th International Workshop
Formal Definition and Refinement of UML's Module/Package Concept
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Hi-index | 0.00 |
This paper presents a new logic based framework for the formal treatment of graph rewriting systems as special cases of programmed rewriting systems for arbitrary relational structures. Considering its expressive power, the new formalism surpasses almost all variants of nonparallel algebraic as well as algorithmic graph grammar approaches by offering set-oriented pattern matching facilities as well as nonmonotonic reasoning capabilities for checking pre- and postconditions of rewrite rules. Furthermore, the formalism closes the gap between the operation-oriented manipulation of data structures by means of rewrite rules and the declaration-oriented description of data structures by means of logic based languages. Finally, the formalism even offers recursively defined (sub-)programs, by means of which the application of rewrite rules may be regulated. A denotational semantics definition for these (sub-)programs relies on a special variant of fixpoint theory for noncontinuous but monotonic functions.