Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Ágnes Achs	Twofold Extensions of Fuzzy Datalog.	WILF	2007	DBLP DOI BibTeX RDF	intuitionistic fuzzy Datalog, interval-valued fuzzy Datalog, bipolar fuzzy Datalog
3	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
3	Vladimir Lifschitz	Datalog Programs and Their Stable Models.	Datalog	2010	DBLP DOI BibTeX RDF
3	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris	Datalog+/-: A Family of Languages for Ontology Querying.	Datalog	2010	DBLP DOI BibTeX RDF
3	Reinhard Pichler	Exploiting Bounded Treewidth with Datalog (A Survey).	Datalog	2010	DBLP DOI BibTeX RDF
3	Yannis Smaragdakis, Martin Bravenboer	Using Datalog for Fast and Easy Program Analysis.	Datalog	2010	DBLP DOI BibTeX RDF
3	Matteo Magnani, Danilo Montesi	Datalog for the Web 2.0: The Case of Social Network Data Management.	Datalog	2010	DBLP DOI BibTeX RDF
3	Marcelo Arenas, Pablo Barceló, Juan L. Reutter	Datalog as a Query Language for Data Exchange Systems.	Datalog	2010	DBLP DOI BibTeX RDF
3	Verónica Dahl	Informing Datalog through Language Intelligence - A Personal Perspective.	Datalog	2010	DBLP DOI BibTeX RDF
3	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	First-Order Encodings for Modular Nonmonotonic Datalog Programs.	Datalog	2010	DBLP DOI BibTeX RDF
3	Stefan Woltran	Equivalence between Extended Datalog Programs - A Brief Survey.	Datalog	2010	DBLP DOI BibTeX RDF
3	Piero A. Bonatti	Datalog for Security, Privacy and Trust.	Datalog	2010	DBLP DOI BibTeX RDF
3	François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert	Datalog Relaunched: Simulation Unification and Value Invention.	Datalog	2010	DBLP DOI BibTeX RDF
3	María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva	Datalog-Based Program Analysis with BES and RWL.	Datalog	2010	DBLP DOI BibTeX RDF
3	Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears	Dedalus: Datalog in Time and Space.	Datalog	2010	DBLP DOI BibTeX RDF
3	Jason Eisner, Nathaniel W. Filardo	Dyna: Extending Datalog for Modern AI.	Datalog	2010	DBLP DOI BibTeX RDF
3	Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset	Distributed Datalog Revisited.	Datalog	2010	DBLP DOI BibTeX RDF
3	Giorgio Orsi, Letizia Tanca	Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?).	Datalog	2010	DBLP DOI BibTeX RDF
3	Robert Baumgartner	Datalog-Related Aspects in Lixto Visual Developer.	Datalog	2010	DBLP DOI BibTeX RDF
3	Foto N. Afrati, Vinayak R. Borkar, Michael J. Carey, Neoklis Polyzotis, Jeffrey D. Ullman	Cluster Computing, Recursion and Datalog.	Datalog	2010	DBLP DOI BibTeX RDF
3	Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina	The Disjunctive Datalog System DLV.	Datalog	2010	DBLP DOI BibTeX RDF
3	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity analysis for efficient datalog queries.	PPDP	2010	DBLP DOI BibTeX RDF	demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis
3	Joseph M. Hellerstein	Datalog redux: experience and conjecture.	PODS	2010	DBLP DOI BibTeX RDF	bloom, boom, dedalus, overlog, distributed systems, parallelism, cloud computing, datalog
3	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
3	David Zook, Emir Pasalic, Beata Sarna-Starosta	Typed Datalog.	PADL	2009	DBLP DOI BibTeX RDF	Meta-compilation, Type System, Datalog, Deductive Databases
3	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	A general datalog-based framework for tractable query answering over ontologies.	PODS	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
3	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Using Datalog and Boolean Equation Systems for Program Analysis.	FMICS	2008	DBLP DOI BibTeX RDF	boolean equation system, demand-driven evaluation, program analysis, Datalog
3	Damien Sereni, Pavel Avgustinov, Oege de Moor	Adding magic to an optimising datalog compiler.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	datalog, query optimisation, magic sets
3	Víctor Dalmau, Benoit Larose	Maltsev + Datalog --> Symmetric Datalog.	LICS	2008	DBLP DOI BibTeX RDF	Maltsev term, Dstalog, Symmetric Datalog
3	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
3	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reasoning in Description Logics by a Reduction to Disjunctive Datalog.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Description logics, Data complexity, Disjunctive datalog
3	Royi Ronen, Oded Shmueli	Evaluation of datalog extended with an XPath predicate.	WIDM	2007	DBLP DOI BibTeX RDF	XML and relational processing, XML, datalog
3	Georg Gottlob, Reinhard Pichler, Fang Wei	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
3	Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Datalog as a pointcut language in aspect-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	pointcut sematics, aspect-oriented programming, datalog, semantic pointcuts
3	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
3	Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder	CodeQuest: querying source code with datalog.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	analysis of object-oriented programs, source code querying, relational databases, DataLog
3	Georg Gottlob, Christoph Koch	Monadic datalog and the expressive power of languages for Web information extraction.	J. ACM	2004	DBLP DOI BibTeX RDF	MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages
3	Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri	On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.	SAC	2004	DBLP DOI BibTeX RDF	deductive and logic databases, expressive power of query languages, search and optimization queries, datalog
3	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	PPDP	2003	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation
3	Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Static analysis in datalog extensions.	J. ACM	2001	DBLP DOI BibTeX RDF	query satisfiability, Abstract interpretation, datalog, query containment
3	Francesco Buccafurri, Nicola Leone, Pasquale Rullo	Enhancing Disjunctive Datalog by Constraints.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog
3	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
3	Thomas Eiter, Georg Gottlob, Heikki Mannila	Disjunctive Datalog.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Datalog
3	Surajit Chaudhuri, Moshe Y. Vardi	On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
3	Surajit Chaudhuri, Phokion G. Kolaitis	Can Datalog be Approximated?	PODS	1994	DBLP DOI BibTeX RDF	Datalog
3	Foto N. Afrati	Bounded Arity Datalog (!=) Queries on Graphs.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
3	Thomas Eiter, Georg Gottlob, Heikki Mannila	Adding Disjunction to Datalog.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
3	Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
3	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
3	Alon Y. Levy, Yehoshua Sagiv	Constraints and Redundancy in Datalog.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
3	Guozhu Dong	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
3	Surajit Chaudhuri, Moshe Y. Vardi	On the Equivalence of Recursive and Nonrecursive Datalog Programs.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
3	Sumit Ganguly, Abraham Silberschatz, Shalom Tsur	A Framework for the Parallel Processing of Datalog Queries.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
3	Kemal Koymen	A Datalog Interface for SQL (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	SQL, Datalog
3	Phokion G. Kolaitis, Moshe Y. Vardi	On the Expressive Power of Datalog: Tools and a Case Study.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
3	Jeffrey D. Ullman	Bottom-Up Beats Top-Down for Datalog.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
3	V. S. Lakshmanan, Alberto O. Mendelzon	Inductive Pebble Games and the Expressive Power of Datalog.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
3	Yehoshua Sagiv, Moshe Y. Vardi	Safety of Datalog Queries over Infinite Databases.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
3	Alexander Brodsky, Yehoshua Sagiv	Inference of Monotonicity Constraints in Datalog Programs.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
3	Serge Abiteboul, Richard Hull	Data Functions, Datalog and Negation (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DAPLEX, DATALOG
3	Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli	A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DATALOG
3	Yehoshua Sagiv	Optimizing Datalog Programs.	PODS	1987	DBLP DOI BibTeX RDF	DATALOG
3	Carole D. Hafner, Kurt Godden	Portability of Syntax and Semantics in Datalog.	ACM Trans. Inf. Syst.	1985	DBLP DOI BibTeX RDF	DATALOG
2	Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (eds.)	Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers	Datalog	2011	DBLP DOI BibTeX RDF
2	Senlin Liang, Michael Kifer	Deriving predicate statistics in datalog.	PPDP	2010	DBLP DOI BibTeX RDF	argument dependency, derived predicate statistics, query optimization, cost estimate
2	Stefania Costantini	Answer Set Modules for Logical Agents.	Datalog	2010	DBLP DOI BibTeX RDF
2	Jan Maluszynski, Andrzej Szalas	Living with Inconsistency and Taming Nonmonotonicity.	Datalog	2010	DBLP DOI BibTeX RDF
2	Michael Gelfond	Knowledge Representation Language P-Log - A Short Introduction.	Datalog	2010	DBLP DOI BibTeX RDF
2	Manuel Bodirsky, Jens K. Mueller	The complexity of rooted phylogeny problems.	ICDT	2010	DBLP DOI BibTeX RDF	?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
2	William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref	SecureBlox: customizable secure distributed data processing.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	secure data management, datalog, distributed query processing
2		Datalog Query Processing and Optimization.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Royi Ronen, Oded Shmueli	Evaluating very large datalog queries on social networks.	EDBT	2009	DBLP DOI BibTeX RDF
2	Harold Boley	RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.	RuleML	2009	DBLP DOI BibTeX RDF
2	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog±: a unified approach to ontologies and integrity constraints.	ICDT	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
2	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
2	Van Hung Le, Fei Liu, Hongen Lu	A Data Model for Fuzzy Linguistic Databases with Flexible Querying.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, querying, Datalog, Fuzzy database, fuzzy logic programming, linguistic hedge
2	Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A Theoretical Framework for the Declarative Debugging of Datalog Programs.	SDKB	2008	DBLP DOI BibTeX RDF
2	László Egri, Benoit Larose, Pascal Tesson	Directed st-Connectivity Is Not Expressible in Symmetric Datalog.	ICALP	2008	DBLP DOI BibTeX RDF
2	Anuj Dawar, Stephan Kreutzer	On Datalog vs. LFP.	ICALP	2008	DBLP DOI BibTeX RDF
2	Riccardo Rosati	On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.	RR	2008	DBLP DOI BibTeX RDF
2	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
2	Stefano Bistarelli, Fabio Martinelli, Francesco Santini	Weighted Datalog and Levels of Trust.	ARES	2008	DBLP DOI BibTeX RDF
2	Lars E. Olson, Carl A. Gunter, P. Madhusudan	A formal framework for reflective database access control policies.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	formal safety verification, reflective database access control, transaction datalog, fine-grained access control
2	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
2	Yuri Gurevich, Itay Neeman	DKAL: Distributed-Knowledge Authorization Language.	CSF	2008	DBLP DOI BibTeX RDF	Datalog with constraints, existential fixed-point logic, infon, security, access control, authorization, Datalog, information leakage, distributed knowledge
2	Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin	Caterpillar Duality for Constraint Satisfaction Problems.	LICS	2008	DBLP DOI BibTeX RDF	caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
2	Giorgio Gianforme, Roberto De Virgilio, Stefano Paolozzi, Pierluigi Del Nostro, Danilo Avola	A Novel Approach for Practical Semantic Web Data Management.	KES	2008	DBLP DOI BibTeX RDF	Semantic Web, Knowledge Management, RDF, DataLog
2	Moritz Y. Becker, Sebastian Nanz	The Role of Abduction in Declarative Authorization Policies.	PADL	2008	DBLP DOI BibTeX RDF	authorization language, access control, Datalog, abduction
2	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
2	Fengrong Li, Takuya Iida, Yoshiharu Ishikawa	Traceable P2P record exchange: a database-oriented approach.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	lineage tracing, record exchange, datalog, traceability, data provenance, peer-to-peer (P2P) networks
2	Sara Cohen, Joseph Gil, Evelina Zarivach	Datalog Programs over Infinite Databases, Revisited.	DBPL	2007	DBLP DOI BibTeX RDF
2	László Egri, Benoit Larose, Pascal Tesson	Symmetric Datalog and Constraint Satisfaction Problems in Logspace.	LICS	2007	DBLP DOI BibTeX RDF
2	Simon Schenk	A SPARQL Semantics Based on Datalog.	KI	2007	DBLP DOI BibTeX RDF
2	Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi	Techniques for specifying bug patterns.	PADTAD	2007	DBLP DOI BibTeX RDF	static analysis, message passing interface, datalog, bug patterns
2	Todd J. Green, Gregory Karvounarakis, Val Tannen	Provenance semirings.	PODS	2007	DBLP DOI BibTeX RDF	incomplete databases, datalog, probabilistic databases, data provenance, semirings, formal power series, data lineage
2	Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Semantics of static pointcuts in aspectJ.	POPL	2007	DBLP DOI BibTeX RDF	logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts
2	Axel Polleres	From SPARQL to rules (and back).	WWW	2007	DBLP DOI BibTeX RDF	datalog, rules, SPARQL
2	Andreas Behrend	A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.	ADBIS	2007	DBLP DOI BibTeX RDF	Deductive Databases, View Updating, Disjunctive Datalog
2	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places	A semantic approach to optimize linear datalog programs.	Acta Inf.	2006	DBLP DOI BibTeX RDF	Deductive databases, Recursion, Semantic query optimization, SQL:1999
2	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF