Search results
From MaRDI portal
- Publication Date of Publication Type Building PMCFG Parsers as Datalog Program Transformations 2014-06-24 Paper...10 bytes (16 words) - 21:27, 26 December 2023
- Publication Date of Publication Type Building PMCFG Parsers as Datalog Program Transformations 2014-06-24 Paper...10 bytes (16 words) - 21:27, 26 December 2023
- Parsers as Datalog Program Transformations 2014-06-24 Paper On IO-Copying and Mildly-Context Sensitive Formalisms 2013-08-07 Paper A Datalog Recognizer...10 bytes (16 words) - 19:42, 6 October 2023
- 2020-04-06 Paper Datalog programs and their persistency numbers 2017-07-12 Paper Undecidability and intractability results concerning datalog programs and their...10 bytes (18 words) - 13:24, 28 January 2024
- constraints for object histories 1992-06-28 Paper On the decomposition of datalog program mappings 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3798292...10 bytes (16 words) - 15:23, 10 December 2023
- four-valued logic: rule semantics and models 2023-05-16 Paper Update rules in datalog programs 2022-08-30 Paper Passive and active rules in deductive databases 2022-08-18...10 bytes (16 words) - 15:33, 8 December 2023
- Containment of Monadic Datalog Programs via Bounded Clique-Width 2015-11-04 Paper Eliminating Recursion from Monadic Datalog Programs on Trees 2015-09-16...10 bytes (16 words) - 13:54, 7 October 2023
- Publication Type Datalog programs and their persistency numbers 2017-07-12 Paper Undecidability and intractability results concerning datalog programs and their...10 bytes (16 words) - 16:06, 24 September 2023
- Paper Bounded arity Datalog \((\neq)\) queries on graphs 1998-06-11 Paper The Hamilton circuit problem on grids 1997-10-30 Paper On datalog vs polynomial time...10 bytes (18 words) - 01:39, 10 December 2023
- application to a Datalog XML schema validator) 2007-11-30 Paper Mathematical Foundations of Computer Science 2004 2005-08-22 Paper Update rules in datalog programs...10 bytes (20 words) - 12:21, 14 March 2024
- Constraint Logic Programming to SQL Test Case Generation 2010-05-04 Paper A Theoretical Framework for the Declarative Debugging of Datalog Programs 2009-01-22...10 bytes (18 words) - 11:58, 6 October 2023
- in datalog programs 2022-08-30 Paper Passive and active rules in deductive databases 2022-08-18 Paper Hypothesis-based semantics of logic programs in multivalued...10 bytes (16 words) - 15:33, 8 December 2023
- Paper A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING 2005-06-22 Paper Linearisability on Datalog programs 2004-10-27 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 19:45, 24 September 2023
- Intuitionistic logic programming for SQL 2017-10-13 Paper Algorithmic Debugging of SQL Views 2015-12-07 Paper A New Proposal for Debugging Datalog Programs 2014-03-26...10 bytes (19 words) - 05:44, 7 October 2023
- Disjunctions and Number Restrictions 2018-11-30 Paper Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies 2016-05-19 Paper Module Extraction...10 bytes (18 words) - 14:30, 6 October 2023
- Publication Date of Publication Type An allocation algorithm for distributing Datalog programs 1994-01-06 Paper...10 bytes (16 words) - 01:44, 28 December 2023
- semantics by partial evaluation 2022-08-30 Paper Translation of interactive Datalog programs for microcontrollers to finite state machines 2022-03-23 Paper Characterizing...10 bytes (16 words) - 03:23, 9 December 2023
- and higher-order schemes 2014-11-28 Paper Building PMCFG Parsers as Datalog Program Transformations 2014-06-24 Paper On IO-Copying and Mildly-Context Sensitive...10 bytes (16 words) - 10:28, 6 October 2023
- BigData 2018-12-04 Paper Fixpoint semantics and optimization of recursive Datalog programs with aggregates 2017-11-08 Paper...10 bytes (16 words) - 20:55, 26 December 2023
- Publication Type Generalization of ZYT-linearizability for bilinear datalog programs 2004-11-23 Paper...10 bytes (18 words) - 21:08, 24 September 2023