Stem datalog$ (all stems)

107 papers:

VLDB-2015-DeutchGM #datalog #query #source code #using

Selective Provenance for Datalog Programs Using Top-K Queries (DD, AG, YM), pp. 1394–1405.

VLDB-2015-WangBH #datalog #evaluation #fault tolerance #recursion

Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines (JW, MB, DH), pp. 1542–1553.

ICALP-v2-2015-BojanczykMW #bound #clique #datalog #monad #source code

Containment of Monadic Datalog Programs via Bounded Clique-Width (MB, FM, AW), pp. 427–439.

PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code

Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.

ICLP-2015-GavanelliLRBZC #abduction #datalog #framework #ontology

An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC).

PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement

On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.

KR-2014-GottlobLP #datalog

Datalog+/-: Questions and Answers (GG, TL, AP).

PODS-2013-BienvenuCLW #case study #csp #data access #datalog #ontology

Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP (MB, BtC, CL, FW), pp. 213–224.

PODS-2013-HernichKLG #datalog #ontology #reasoning #semantics

Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.

VLDB-2013-SeoPSL #analysis #distributed #graph #scalability

Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.

VLDB-2013-ShkapskyZZ #datalog #graph #query

Graph Queries in a Next-Generation Datalog System (AS, KZ, CZ), pp. 1258–1261.

ICLP-J-2013-MazuranSZ #datalog #declarative #horn clause

A declarative extension of horn clauses, and its significance for datalog and its applications (MM, ES, CZ), pp. 609–623.

ICALP-v2-2012-BenediktBS #datalog #monad

Monadic Datalog Containment (MB, PB, PS), pp. 79–91.

KEOD-2012-Decker #datalog #information management

Datalog for Inconsistency-tolerant Knowledge Engineering (HD), pp. 296–301.

KR-2012-GottlobS #datalog #ontology #query #recursion #source code

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).

KR-2012-LeoneMTV #source code

Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).

PPDP-2012-LamC #datalog #linear #logic #modelling

Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.

PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.

ICLP-J-2012-AlvianoFLM #complexity #datalog #decidability #quantifier #semantics

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (MA, WF, NL, MM), pp. 701–718.

SIGMOD-2011-HuangGL #datalog #interactive #tutorial

Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.

SIGMOD-2011-TekleL #datalog #performance #query #set

More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.

PODS-2010-Hellerstein #datalog #experience

Datalog redux: experience and conjecture (JMH), pp. 1–2.

CIKM-2010-RonenS #automation #datalog #interactive #network #social

Automated interaction in social networks with datalog (RR, OS), pp. 1273–1276.

PPDP-2010-LiangK #datalog #statistics

Deriving predicate statistics in datalog (SL, MK), pp. 45–56.

PPDP-2010-TekleGL #datalog #graph #optimisation #query

Graph queries through datalog optimizations (KTT, MG, YAL), pp. 25–34.

PPDP-2010-TekleL #analysis #complexity #datalog #performance #precise #query

Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.

POPL-2010-SchaferM #datalog #type inference

Type inference for datalog with complex type hierarchies (MS, OdM), pp. 145–156.

ICLP-2010-Alviano10 #datalog #set #source code

Dynamic Magic Sets for Disjunctive Datalog Programs (MA), pp. 226–235.

ICLP-2010-Aref10 #datalog #enterprise #industrial #research

Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk) (MA), p. 1.

LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.

PODS-2009-CaliGL #framework #ontology #query

A general datalog-based framework for tractable query answering over ontologies (AC, GG, TL), pp. 77–86.

LATA-2009-BuchseS #datalog #monad #transducer

Monadic Datalog Tree Transducers (MB, TS), pp. 267–278.

LOPSTR-2009-AlpuenteFJV #datalog #logic

Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.

PADL-2009-ZookPS #datalog

Typed Datalog (DZ, EP, BSS), pp. 168–182.

PODS-2008-MoorSAV #datalog #optimisation #query #type inference

Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.

SIGMOD-2008-SereniAM #compilation #datalog #optimisation

Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.

ICALP-B-2008-DawarK #datalog #on the

On Datalog vs. LFP (AD, SK), pp. 160–171.

ICALP-B-2008-EgriLT #datalog #symmetry

Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.

LICS-2008-DalmauL #datalog #symmetry

Maltsev + Datalog --> Symmetric Datalog (VD, BL), pp. 297–306.

PODS-2007-GottlobPW #bound #datalog #finite #monad

Monadic datalog over finite structures with bounded treewidth (GG, RP, FW), pp. 165–174.

VLDB-2007-ShenDNR #datalog #declarative #embedded #information management #using

Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.

LICS-2007-EgriLT #constraints #datalog #problem #symmetry

Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.

KR-2006-Rosati #datalog #integration #logic

DL+log: Tight Integration of Description Logics and Disjunctive Datalog (RR), pp. 68–78.

ECOOP-2006-HajiyevVM #datalog #named #query #scalability #source code

codeQuest: Scalable Source Code Queries with Datalog (EH, MV, OdM), pp. 2–27.

ICLP-2006-Lam #datalog #question #source code #why

Why Use Datalog to Analyze Programs? (MSL), p. 1.

ICLP-2006-RuckhausKPG #approach #datalog #owl

Integrating Datalog with OWL: Exploring the AL-log Approach (ER, VK, BP, BCG), pp. 455–456.

PODS-2005-AbiteboulAHM #datalog #exclamation

Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.

ECIR-2005-Nottelmann #datalog #information retrieval #named #probability

PIRE: An Extensible IR Engine Based on Probabilistic Datalog (HN), pp. 260–274.

ICLP-2005-LukacsyN #datalog #reasoning

Open World Reasoning in Datalog (GL, ZN), pp. 427–428.

PODS-2004-Bonatti #datalog #decidability #on the #query #recursion

On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.

KR-2004-HustadtMS #datalog #logic #source code

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.

PPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning

Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.

SAC-2004-ZumpanoGTV #on the #optimisation #power of #problem #semantics

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.

ICLP-2004-CumboFGL #datalog #source code

Enhancing the Magic-Set Method for Disjunctive Datalog Programs (CC, WF, GG, NL), pp. 371–385.

SAS-2003-BessonJ #analysis #composition #datalog

Modular Class Analysis with DATALOG (FB, TPJ), pp. 19–36.

PPDP-2003-GrecoZ #bound #datalog #on the #performance #query

On the rewriting and efficient computation of bound disjunctive datalog queries (SG, EZ), pp. 136–147.

PPDP-2003-LiuS #datalog #performance #source code

From datalog rules to efficient programs with time and space guarantees (YAL, SDS), pp. 172–183.

PADL-2003-LiM #constraints #datalog #trust

DATALOG with Constraints: A Foundation for Trust Management Languages (NL, JCM), pp. 58–73.

PODS-2002-GottlobK #datalog #information management #monad #power of #web

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction (GG, CK), pp. 17–28.

LOPSTR-2002-GrecoGTZ #optimisation #query #source code

Translating Datalog-Like Optimization Queries into ILOG Programs (GG, SG, IT, EZ), pp. 48–49.

CIKM-2001-NottelmannF #classification #datalog #learning #probability

Learning Probabilistic Datalog Rules for Information Classification and Transformation (HN, NF), pp. 387–394.

LOPSTR-2001-PotikasRG #datalog #nondeterminism #source code

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.

PODS-1999-Bonner #datalog #transaction #workflow

Workflow, Transactions, and Datalog (AJB), pp. 294–305.

JICSLP-1998-GrecoZ #algorithm #datalog

Greedy Algorithms in Datalog with Choice and Negation (SG, CZ), pp. 294–309.

LOPSTR-1997-SemeraroEMFF #datalog #framework #incremental #induction #logic #synthesis

A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories (GS, FE, DM, NF, SF), pp. 300–321.

ILPS-1997-GrecoS #datalog #optimisation #problem

NP Optimization Problems in Datalog (SG, DS), pp. 181–195.

PODS-1996-BertinoC #database #static analysis

Static Analysis of Intensional Databases in U-Datalog (EB, BC), pp. 202–212.

LICS-1996-Marcinkowski #bound #datalog #decidability

DATALOG SIRUPs Uniform Boundedness is Undecidable (JM), pp. 13–24.

PODS-1995-LevyS #datalog #optimisation #query #semantics #source code

Semantic Query Optimization in Datalog Programs (AYL, YS), pp. 163–173.

PODS-1995-MeccaB #datalog #sequence #transducer

Sequences, Datalog and Transducers (GM, AJB), pp. 23–35.

SIGIR-1995-Fuhr #datalog #logic #probability #retrieval

Probabilistic Datalog — A Logic For Powerful Retrieval Methods (NF), pp. 282–290.

LOPSTR-1995-SemeraroEM #datalog #refinement #source code

Ideal Refinement of Datalog Programs (GS, FE, DM), pp. 120–136.

ILPS-1995-Liu #datalog #named #set #tuple

Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract) (ML), pp. 83–97.

ILPS-1995-Toman #bottom-up #constraints #datalog #top-down

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.

PODS-1994-Afrati #bound #datalog #exclamation #graph #query

Bounded Arity Datalog (!=) Queries on Graphs (FNA), pp. 97–106.

PODS-1994-ChaudhuriK #approximate #datalog #question

Can Datalog be Approximated? (SC, PGK), pp. 86–96.

PODS-1994-ChaudhuriV #complexity #datalog #equivalence #on the #recursion #source code

On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 107–116.

PODS-1994-EiterGM #datalog

Adding Disjunction to Datalog (TE, GG, HM), pp. 267–278.

CADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.

ILPS-1994-OrosG #datalog #inheritance #source code

Inferring Inheritance from Datalog Programs (MAO, PYG), p. 680.

ILPS-1994-TomanCR #constraints #datalog #integer

Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.

PODS-1993-Chaudhuri #datalog #recursion

Finding Nonrecursive Envelopes for Datalog Predicates (SC), pp. 135–146.

PODS-1993-LevyMSS #datalog #equivalence #satisfiability

Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions (AYL, ISM, YS, OS), pp. 109–122.

SEKE-1993-PirriP #datalog #deduction #design #taxonomy #using

Using Datalog as a Language for Data Dictionary Design: A Deductive Support (FP, CP), pp. 304–308.

PODS-1992-ChaudhuriV #datalog #equivalence #on the #recursion #source code

On the Equivalence of Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 55–66.

PODS-1992-Dong #datalog #query #tool support

Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.

PODS-1992-LevyS #constraints #datalog

Constraints and Redundancy in Datalog (AYL, YS), pp. 67–80.

PODS-1991-AfratiCY #datalog #on the #polynomial

On Datalog vs. Polynomial Time (FNA, SSC, MY), pp. 13–25.

PODS-1991-HillebrandKMV #bound #datalog #tool support

Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.

PODS-1991-SeibL #datalog #source code

Parallelizing Datalog Programs by Generalized Pivoting (JS, GL), pp. 241–251.

PODS-1991-SeshadriN #datalog #on the #query #recursion

On the Expected Size of Recursive Datalog Queries (SS, JFN), pp. 268–279.

PODS-1990-KolaitisV #case study #datalog #on the #power of #tool support

On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.

PODS-1990-Ross #composition #datalog #set #source code

Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.

SIGMOD-1990-GangulyST #datalog #framework #parallel #query

A Framework for the Parallel Processing of Datalog Queries (SG, AS, ST), pp. 143–152.

PODS-1989-Bonner #datalog #linear #recursion

Hypothetical Datalog: Negation and Linear Recursion (AJB), pp. 286–300.

PODS-1989-BrodskyS #constraints #datalog #source code

Inference of Monotonicity Constraints in Datalog Programs (AB, YS), pp. 190–199.

PODS-1989-LakshmananM #datalog #game studies #induction #power of

Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.

PODS-1989-SagivV #database #datalog #infinity #query #safety

Safety of Datalog Queries over Infinite Databases (YS, MYV), pp. 160–171.

PODS-1989-Ullman #bottom-up #datalog #top-down

Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.

SIGMOD-1989-Dong #database #datalog #distributed #on the #query

On Distributed Processibility of Datalog Queries by Decomposing Databases (GD), pp. 26–35.

LICS-1989-AbiteboulV #first-order #fixpoint #logic

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.

PODS-1988-RamakrishnanBK #datalog #optimisation #query

Optimizing Existential Datalog Queries (RR, CB, RK), pp. 89–102.

SIGMOD-1988-AbiteboulH #datalog

Data Functions, Datalog and Negation (Extended Abstract) (SA, RH), pp. 143–153.

SIGMOD-1988-KrishnamurthyRS #datalog #effectiveness #framework #safety #testing

A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) (RK, RR, OS), pp. 154–163.

PODS-1987-Sagiv #datalog #optimisation #source code

Optimizing Datalog Programs (YS), pp. 349–362.

VLDB-1987-CeriT #algebra #datalog #equation #optimisation #query

Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries (SC, LT), pp. 31–41.

VLDB-1987-Gardarin #datalog #recursion #source code

Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs (GG), pp. 21–30.