Weighted monadic Datalog

DOI10.1016/J.TCS.2008.04.025MaRDI QIDQ944376zbMATH OpenOpenAlexFDO

Authors Torsten Stüber, Heiko Vogler

Publication date 16 September 2008

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

Full work available at URL https://doi.org/10.1016/j.tcs.2008.04.025

zbMATH Keywords

weighted tree automataunranked treesmonadic Datalogsemiring-based logic programming

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Formal languages and automata (68Q45) Logic programming (68N17) Database theory (68P15)

Recommendations

• Weighted logics for unranked tree automata
• Monadic Datalog and the expressive power of languages for web information extraction
• Weighted path queries on semistructured databases
• Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
• Monadic datalog and regular tree pattern queries

Cites work

• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1257742 (Why is no real title available?)
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 2040322 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• Automata, Languages and Programming
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Computer Science Logic
• Cut and paste
• Equational elements in additive algebras
• Generalizations of regular sets and their application to a study of context-free languages
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Handbook of weighted automata
• Monadic Datalog and the expressive power of languages for web information extraction
• Query automata over finite trees
• Recognizable formal power series on trees
• Semiring-based constraint satisfaction and optimization
• Soft constraint logic programming and generalized shortest path problems
• Tree acceptors and some of their applications
• Weighted automata and weighted logics
• Weighted grammars and Kleene's theorem
• Weighted path queries on semistructured databases
• Weighted tree automata and weighted logics

Cited in

(5)

• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
• Monadic Datalog Containment
• Monadic Datalog and the expressive power of languages for web information extraction
• A flexible solver for finite arithmetic circuits
• Weighted path queries on semistructured databases

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Weighted monadic Datalog

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