Search results for "Datalog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Andrea Calì, Davide Martinenghi	Conjunctive Query Containment under Access Limitations.	ER	2008	DBLP DOI BibTeX RDF
29	Stephan Grimm, Uwe Keller, Holger Lausen, Gábor Nagypál	A Reasoning Framework for Rule-Based WSML.	ESWC	2007	DBLP DOI BibTeX RDF
29	Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu	Efficient trust management policy analysis from rules.	PPDP	2007	DBLP DOI BibTeX RDF	security, algorithm, access control, time complexity, policy analysis
29	C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren	Deductive Spreadsheets Using Tabled Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
29	Harold Boley	The RuleML Family of Web Rule Languages.	PPSWR	2006	DBLP DOI BibTeX RDF
29	Andrea Calì, Diego Calvanese	Optimising Query Answering in the Presence of Access Limitations (Position Paper).	DEXA Workshops	2006	DBLP DOI BibTeX RDF
29	Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel	Context-sensitive program analysis as database queries.	PODS	2005	DBLP DOI BibTeX RDF
29	Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Magic Sets and Their Application to Data Integration.	ICDT	2005	DBLP DOI BibTeX RDF
29	Érick Alphonse, Stan Matwin	Filtering Multi-Instance Problems to Reduce Dimensionality in Relational Learning.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	relational learning, feature subset selection, propositionalization
29	Gianluigi Greco, Antonella Guzzo, Domenico Saccà	Reasoning on Workflow Executions.	ADBIS	2003	DBLP DOI BibTeX RDF
29	Francesca A. Lisi, Donato Malerba	Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.	AI*IA	2003	DBLP DOI BibTeX RDF
29	Foto N. Afrati, Manolis Gergatsoulis, Theodoros G. Kavalieros	Answering Queries Using Materialized Views with Disjunctions.	ICDT	1999	DBLP DOI BibTeX RDF
29	Francesco Buccafurri, Sergio Greco, Domenico Saccà	The Expressive Power of Unique Total Stable Model Semantics.	ICALP	1997	DBLP DOI BibTeX RDF
29	Elisa Bertino, Giovanna Guerrini, Danilo Montesi	Deductive Object Databases.	ECOOP	1994	DBLP DOI BibTeX RDF	object based paradigm, composite databases, transactional behavior, Logic languages
29	Georges Gardarin, Jerry Kiernan	Deductive Database Rule Languages: Analysis and Case Study.	IBM Symposium: Database Systems of the 90s	1990	DBLP DOI BibTeX RDF
29	Phokion G. Kolaitis, Christos H. Papadimitriou	Why Not Negation by Fixpoint?	PODS	1988	DBLP DOI BibTeX RDF
29	Moshe Y. Vardi	Decidability and Undecidability Results for Boundedness of Linear Recursive Queries.	PODS	1988	DBLP DOI BibTeX RDF
29	Pierre-Léo Bégay	Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau).		2021	RDF
29	Alexandru Dura, Hampus Balldin, Christoph Reichenbach	MetaDL: analysing Datalog in Datalog.	SOAP@PLDI	2019	DBLP DOI BibTeX RDF
29	Alexandr Kazda	nnn-permutability and linear Datalog implies symmetric Datalog.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
29	Thomas Rebele, Thomas Pellissier Tanon, Fabian M. Suchanek	Bash Datalog: Answering Datalog Queries with Unix Shell Commands.	ISWC (1)	2018	DBLP DOI BibTeX RDF
29	Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau	Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
29	Stefania-Gabriela Dumbrava	Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog. (A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog).		2016	RDF
29	Alexandr Kazda	$n$-permutability and linear Datalog implies symmetric Datalog.	CoRR	2015	DBLP BibTeX RDF
29	Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.	CoRR	2014	DBLP BibTeX RDF
29	Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.	AAAI	2014	DBLP DOI BibTeX RDF
29	Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau	Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.	RR	2014	DBLP DOI BibTeX RDF
29	Sergio Greco, Ester Zumpano	On the rewriting and efficient computation of bound disjunctive datalog queries.	PPDP	2003	DBLP DOI BibTeX RDF	magic-set technique, logic programming, constraints, theory, disjunctive datalog
29	Anthony J. Bonner	Workflow, Transactions, and Datalog.	PODS	1999	DBLP DOI BibTeX RDF	Datalog
29	Alberto Sulaiman	Using Datalog Data Model and Data Mining to Solve Bill of Materials Personalization Problems.	WECWIS	1999	DBLP DOI BibTeX RDF	Data Mining, Databases, Datalog, eCommerce, eBusiness
29	Alon Y. Levy, Yehoshua Sagiv	Semantic Query Optimization in Datalog Programs.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
29	Giansalvatore Mecca, Anthony J. Bonner	Sequences, Datalog and Transducers.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
29	Kenneth A. Ross	Modular Stratification and Magic Sets for Datalog Programs with Negation.	J. ACM	1994	DBLP DOI BibTeX RDF	modular stratification, rule rewriting, well-sounded semantics, Datalog, deductive databases, stratification, magic sets
29	Erich Grädel, Gregory L. McColm	Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic	FOCS	1992	DBLP DOI BibTeX RDF	universal quantifiers, transitive closure logic, stratified Datalog, general hierarchy theorem, quantifier classes, infinitary logic
29	Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi	Tools for Datalog Boundedness.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
29	Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis	On Datalog vs. Polynomial Time.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
29	Jürgen Seib, Georg Lausen	Parallelizing Datalog Programs by Generalized Pivoting.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
29	S. Seshadri, Jeffrey F. Naughton	On the Expected Size of Recursive Datalog Queries.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
29	Kenneth A. Ross	Modular Stratification and Magic Sets for DATALOG Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
29	Stefano Ceri, Georg Gottlob, Letizia Tanca	What you Always Wanted to Know About Datalog (And Never Dared to Ask).	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	optimisation methods, semantics, logic programming, logic programming, relational database, relational databases, query languages, Datalog, syntax, database query language
29	Miklós Ajtai, Yuri Gurevich	Datalog vs. First-Order Logic	FOCS	1989	DBLP DOI BibTeX RDF	finite structure, first-order languages, first-order expressible datalog query, compactness theorem, first-order logic, bounded
29	Anthony J. Bonner	Hypothetical Datalog: Negation and Linear Recursion.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
29	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
29	Ouri Wolfson, Aya Ozeri	Parallel and Distributed Processing of Rules by Data Reduction.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	parallel processing of rules, distributed processing of rules, datalog rule programs, rule-instantiations, seminaive evaluation, stratified-negation datalog programs, logic programming, knowledge based systems, distributed databases, communication network, data-reduction, communication overhead, decomposability
29	Sergio Greco, Nicola Leone, Pasquale Rullo	COMPLEX: An Object-Oriented Logic Programming System.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-oriented logic programming system, knowledge-based applications, Complex-Datalog, C-Datalog, semantic constructs, bottom-up computational model, fully declarative style of programming, top-down model, COMPLEX, object-oriented programming, logic programming, knowledge based systems, tool, software prototyping, prototypical implementation, logic language
24		Datalog Query Processing and Optimization.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
24	Harold Boley	RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.	RuleML	2009	DBLP DOI BibTeX RDF
24	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	ISWC	2008	DBLP DOI BibTeX RDF
24	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
24	Henrik Nottelmann	PIRE: An Extensible IR Engine Based on Probabilistic Datalog.	ECIR	2005	DBLP DOI BibTeX RDF
24	Qing Zhou, Ligong Long	Sedatalog: A Set Extension of Datalog.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	The order of a set, The order of predicate, n-th order set
24	Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Enhancing the Magic-Set Method for Disjunctive Datalog Programs.	ICLP	2004	DBLP DOI BibTeX RDF
24	Yann Loyer, Nicolas Spyratos	Hypothesis-Founded Semantics for Datalog Programs with Negation.	MFCS	2002	DBLP DOI BibTeX RDF	semantics of logic programs, non-monotonic reasoning, hypothesis
24	Georg Gottlob, Christoph Koch 0001	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	Web View
24	Sergio Greco, Domenico Saccà, Carlo Zaniolo	Extending stratified datalog to capture complexity classes ranging from P to QH.	Acta Informatica	2001	DBLP DOI BibTeX RDF
24	Sergio Greco	Dynamic Programming in Datalog with Aggregates.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	optimization, aggregates, Deductive databases, nonmonotonic reasoning
24	Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà	Active-U-Datalog: Integrating Active Rules in a Logical Update Language.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
24	Sergio Greco, Nicola Leone, Francesco Scarcello	DATALOG with Nested Rules.	LPKR	1997	DBLP DOI BibTeX RDF
24	Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro	Locally Finite, Proper and Complete Operators for Refining Datalog Programs.	ISMIS	1996	DBLP DOI BibTeX RDF
24	Domenico Saccà	Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries.	ICDT	1995	DBLP DOI BibTeX RDF
24	Viet Phan Luong	A Mixed Approach to Negation in General Datalog Programs.	DOOD	1995	DBLP DOI BibTeX RDF
24	Sérgio Lifschitz, Rubens N. Melo, Esther Pacitti	Practical Behavior of Parallelization Strategies for Datalog.	DOOD	1995	DBLP DOI BibTeX RDF
24	Luca Corciulo, Fosca Giannotti, Dino Pedreschi	Datalog with Non-Deterministic Choice Computes NDB-PTIME.	DOOD	1993	DBLP DOI BibTeX RDF
24	Tomás Feder, Yatin P. Saraiya	Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.	ICDT	1992	DBLP DOI BibTeX RDF
24	Guozhu Dong, Rodney W. Topor	Incremental Evaluation of Datalog Queries.	ICDT	1992	DBLP DOI BibTeX RDF
24	Peter T. Wood	Syntactic Characterizations of 1-Bounded Datalog.	DOOD	1991	DBLP DOI BibTeX RDF
24	Paolo Atzeni, Riccardo Torlone	Updating Datalog Databases.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
24	Irène Guessarian	Deciding Boundedness for Uniformly Connected Datalog Programs.	ICDT	1990	DBLP DOI BibTeX RDF
24	Mariano P. Consens, Alberto O. Mendelzon	Low Complexity Aggregation in GraphLog and Datalog.	ICDT	1990	DBLP DOI BibTeX RDF
24	Guozhu Dong	On Distributed Processibility of Datalog Queries by Decomposing Databases.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
24	Raghu Ramakrishnan 0001, Catriel Beeri, Ravi Krishnamurthy	Optimizing Existential Datalog Queries.	PODS	1988	DBLP DOI BibTeX RDF
24	Guozhu Dong	On the Composition and Decomposition of Datalog Program Mappings.	ICDT	1988	DBLP DOI BibTeX RDF
24	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
24	Manuel Bodirsky, Jens K. Müller	The complexity of rooted phylogeny problems.	ICDT	2010	DBLP DOI BibTeX RDF	?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
24	Van Hung Le 0001, Fei Liu 0003, 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
24	Fengrong Li, Takuya Iida, Yoshiharu Ishikawa	Traceable P2P record exchange: a database-oriented approach.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	lineage tracing, record exchange, datalog, traceability, data provenance, peer-to-peer (P2P) networks
24	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
24	Lars E. Olson 0001, Carl A. Gunter, P. Madhusudan	A formal framework for reflective database access control policies.	CCS	2008	DBLP DOI BibTeX RDF	formal safety verification, reflective database access control, transaction datalog, fine-grained access control
24	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
24	Giorgio Gianforme, Roberto De Virgilio, Stefano Paolozzi, Pierluigi Del Nostro, Danilo Avola	A Novel Approach for Practical Semantic Web Data Management.	KES (2)	2008	DBLP DOI BibTeX RDF	Semantic Web, Knowledge Management, RDF, DataLog
24	Sriram Sankaranarayanan 0001, 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
24	Axel Polleres	From SPARQL to rules (and back).	WWW	2007	DBLP DOI BibTeX RDF	datalog, rules, SPARQL
24	Antje Nowack	A Guarded Fragment for Abstract State Machines.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
24	Andreas Behrend	Optimizing existential queries in stratifiable deductive databases.	SAC	2005	DBLP DOI BibTeX RDF	existential query, datalog, recursion, magic sets
24	Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca	A logical framework for reasoning about access control models.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	Access control framework, access control models analysis, logic programming, Datalog
24	Verónica Dahl	On Implicit Meanings.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF	elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning
24	Giansalvatore Mecca, Anthony J. Bonner	Query Languages for Sequence Databases: Termination and Complexity.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	complexity, query languages, Datalog, deductive databases, termination, Sequence databases
24	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and expressive power of logic programming.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
24	Chen Li 0001, Edward Y. Chang	Answering queries with useful bindings.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Datalog programs, information-integration systems, limited source capabilities, query containment
24	Seppo Sippu, Eljas Soisalon-Soininen	An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries.	J. ACM	1996	DBLP DOI BibTeX RDF	logic query, datalog, envelopes, magic sets
24	Peter Schäuble, Beat Wüthrich	On the Expressive Power of Query Languages.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
24	Ashish Gupta 0001, Inderpal Singh Mumick, V. S. Subrahmanian	Maintaining Views Incrementally.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, Datalog
24	Shinichi Morishita	An Alternating Fixpoint Tailored to Magic Programs.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
24	Yatin P. Saraiya	Hard Problems for Simple Logic Programs.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
24	Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
24	Yeh-Heng Sheng	IDLOG: Extending the Expressive Power of Deductive Database Languages.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
24	Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001	Magic Conditions.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
24	Jan Chomicki, Tomasz Imielinski	Relational Specifications of Infinite Query Answers.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF	DATALOG
20	Daniel Deutch, Christoph Koch 0001, Tova Milo	On probabilistic fixpoint and Markov chain query languages.	PODS	2010	DBLP DOI BibTeX RDF	probabilistic fixpoint, Markov chains
20	Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi	Unified Declarative Platform for Secure Netwoked Information Systems.	ICDE	2009	DBLP DOI BibTeX RDF