Recursive queries and context-free graph grammars

DOI10.1016/0304-3975(51)90009-6zbMATH Open0716.68026OpenAlexW2043199435MaRDI QIDQ753477FDOQ753477

Authors: Bruno Courcelle 

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(51)90009-6

Recommendations

• scientific article; zbMATH DE number 4106286
• Compositional semantics of the recursive queries in languages similar to SQL
• Recursively indefinite databases
• scientific article; zbMATH DE number 1222556
• Publication:4942633

zbMATH Keywords

relational databaserecursive queriescomputation graphs of the querycontext-free graph grammar

Mathematics Subject Classification ID

Database theory (68P15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cites Work

• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• Title not available (Why is that?)
• Algebraic automata and context-free sets
• An axiomatic definition of context-free rewriting and its application to NLC graph grammars
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Title not available (Why is that?)
• Fixed point theorems and semantics: A folk tale
• Graph expressions and graph rewritings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursive query processing: The power of logic
• Translation of logic programs into functional fixpoint equations

Cited In (15)

• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Advances in Databases and Information Systems
• On the equivalence of recursive and nonrecursive Datalog programs
• Navigational and rule-based languages for graph databases
• Path querying on acyclic graphs using Boolean grammars
• Compositional semantics of the recursive queries in languages similar to SQL
• Context-free path querying by Kronecker product
• Regular queries on graph databases
• Containment of monadic Datalog programs via bounded clique-width
• Structural recursion as a query language on lists and ordered trees
• Expressiveness of structured document query languages based on attribute grammars
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs
• Recursively indefinite databases

This page was built for publication: Recursive queries and context-free graph grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q753477)