Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gregory Butler	Datalog and TwoGroups and C++.	AISMC	1994	DBLP DOI BibTeX RDF
14	Oded Shmueli	Equivalence of DATALOG Queries is Undecidable.	J. Log. Program.	1993	DBLP DOI BibTeX RDF
14	Michael Meskes, Jörg Noack	The Generalized Supplementary Magic-Sets Transformation for Stratified Datalog.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
14	Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri	Permutation dependency in datalog programs.	Inf. Sci.	1993	DBLP DOI BibTeX RDF
14	Alexander Tuzhilin	Querying Datalog Programs with Temporal Logic.	Acta Informatica	1993	DBLP DOI BibTeX RDF
14	Peter Z. Revesz	A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
14	Mariano P. Consens, Alberto O. Mendelzon	Low Complexity Aggregation in GraphLog and Datalog.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
14	William B. Day, Carolyn L. McCreary, Bryan Walls	An allocation algorithm for distributing Datalog programs.	IEEE Trans. Syst. Man Cybern.	1993	DBLP DOI BibTeX RDF
14	Francesco Scarcello	Calcolo del Modello Well-Founded di Programmi Datalog.	GULP	1993	DBLP BibTeX RDF
14	Miguel-Angel Oros, Paul Y. Gloess	Inheritance in Datalog.	LPE	1993	DBLP BibTeX RDF
14	Fiora Pirri, Clara Pizzuti	Using Datalog as a Language for Data Dictionary Design: A Deductive Support.	SEKE	1993	DBLP BibTeX RDF
14	Jia Liang Han	On Optimizing Uniformly Bounded Datalog Programs.	Australian Database Conference	1993	DBLP BibTeX RDF
14	Guozhu Dong, Jianwen Su	First-Order Incremental Evaluation of Datalog Queries.	DBPL	1993	DBLP BibTeX RDF
14	Sumit Ganguly, Abraham Silberschatz, Shalom Tsur	Parallel Bottom-Up Processing of Datalog Queries.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
14	Ouri Wolfson	Parallel Evaluation of Datalog Programs by Load Sharing.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
14	Ke Wang, Li-Yan Yuan	Preservation of Integrity Constraints in Definite DATALOG Programs.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
14	Witold Litwin, Tore Risch	Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF
14	Paolo Atzeni, Riccardo Torlone	Updating intensional predicates in Datalog.	Data Knowl. Eng.	1992	DBLP DOI BibTeX RDF
14	Nicola Leone, Pasquale Rullo	Safe computation of the well-founded semantics of Datalog queries.	Inf. Syst.	1992	DBLP DOI BibTeX RDF
14	Jörg Noack	Datalog: Zur Integration von Datenbanken und wissensbasierten Konzepten.	it Inf. Technol.	1992	DBLP DOI BibTeX RDF
14	Nicola Leone, Pasquale Rullo	An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries.	Comput. J.	1992	DBLP BibTeX RDF
14	Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
14	Jia Liang Han	An Efficient Bottom-ip Evaluation for Datalog.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
14	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
14	Mehmet A. Orgun, William W. Wadge	A Relational Algebra as a Query Language for Temporal DATALOG.	DEXA	1992	DBLP BibTeX RDF
14	Guozhu Dong	On Datalog Linearization of Chain Queries.	Theoretical Studies in Computer Science	1992	DBLP DOI BibTeX RDF
14	Norbert Kehrer, Gustaf Neumann	An EER Prototyping Environment and its Implemetation in a Datalog Language.	ER	1992	DBLP DOI BibTeX RDF
14	Irène Guessarian, Marcos Veloso Peixoto	About Boundedness for some DATALOG and DATALOG_neg Programs.	MFCS	1992	DBLP DOI BibTeX RDF
14	Françoise Fabret, Mireille Régnier, Eric Simon	Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics.	ICDT	1992	DBLP DOI BibTeX RDF
14	Jürgen Seib	Die Parallelisierung von Datalog-Programmen durch allgemeines Pivotieren.		1992	RDF
14	Serge Abiteboul, Eric Simon	Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
14	Serge Abiteboul, Victor Vianu	Datalog Extensions for Database Queries and Updates.	J. Comput. Syst. Sci.	1991	DBLP DOI BibTeX RDF
14	C. Samuel Hsieh	Slice, chunk and dataflow anomaly as DATALOG rules.	J. Syst. Softw.	1991	DBLP DOI BibTeX RDF
14	Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri	Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs.	Comput. J.	1991	DBLP BibTeX RDF
14	Jürgen Seib, Georg Lausen	Parallele Evaluierung von Datalog-Programmen.	BTW	1991	DBLP DOI BibTeX RDF
14	Jürgen Seib	Parallelizing Datalog: Function Symbols make a Difference.	PDIS	1991	DBLP DOI BibTeX RDF
14	J. Shao, David A. Bell, M. Elizabeth C. Hull	Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing.	PDIS	1991	DBLP DOI BibTeX RDF
14	Weining Zhang, Ke Wang, Siu-Cheung Chau	Data partition: A Practical Parallel Evaluation of Datalog Programs.	PDIS	1991	DBLP DOI BibTeX RDF
14	Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf	A Hybrid System with Datalog and Concept Languages.	AI*IA	1991	DBLP DOI BibTeX RDF
14	Jim Cox, Ken McAloon	Decision Procedures for Constraint Based Extensions of Datalog.	WCLP	1991	DBLP BibTeX RDF
14	Guozhu Dong, Seymour Ginsburg	On the Decomposition of Datalog Program Mappings.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
14	Anthony J. Bonner	Hypothetical Datalog: Complexity and Expressibility.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
14	Lars Stefan Jensen, Erik Johannes Kaae	Distributed Evaluation of the DATALOG Query Language.	DEXA	1990	DBLP BibTeX RDF
14	Thomas Ludwig 0001	Compilation of Complex DATALOG with Stratified Negation.	BNCOD	1990	DBLP BibTeX RDF
14	Peter Z. Revesz	A Closed Form for Datalog Queries with Integer Order.	ICDT	1990	DBLP DOI BibTeX RDF
14	Martin Gogolla	Datalog: eine deduktive Datenbanksprache.		1990	RDF
14	Thomas Ludwig 0001	Compilation of Complex DATALOG with Stratified Negation	IWBS Report	1989	RDF
14	Serge Abiteboul	Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
14	Bernhard Convent	Deciding Finiteness, Groundness and Domain Independence of Pure Datalog Queries.	J. Inf. Process. Cybern.	1989	DBLP BibTeX RDF
14	Serge Abiteboul, Victor Vianu	Fixpoint Extensions of First-Order Logic and Datalog-Like Languages	LICS	1989	DBLP DOI BibTeX RDF
14	Serge Abiteboul, Eric Simon	Fundamental properties of deterministic and non deterministic extensions of DATALOG.	BDA	1989	DBLP BibTeX RDF
14	Stéphane Grumbach	DATALOGrew: DATALOG with rewriting rules.	BDA	1989	DBLP BibTeX RDF
14	Stéphane Grumbach	Integration of Functions Defined with Rewriting Rules in Datalog.	DOOD	1989	DBLP BibTeX RDF
14	Alexander Brodsky 0001, Yehoshua Sagiv	On Termination of Datalog Programs.	DOOD	1989	DBLP BibTeX RDF
14	Yehoshua Sagiv	Optimizing Datalog Programs.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
14	Bernard Lang	Automates Datalog.	BDA	1988	DBLP BibTeX RDF
14	L. Chen	Une extension de Datalog avec fonctions agregat.	BDA	1988	DBLP BibTeX RDF
14	Anthony J. Bonner	Hypothetical Datalog: Complexity and Expressiblity.	ICDT	1988	DBLP DOI BibTeX RDF
14	Bernard Lang	Datalog Automata.	JCDKB	1988	DBLP DOI BibTeX RDF
14	Ravi Krishnamurthy, Shamim A. Naqvi	Non-Deterministic Choice in Datalog.	JCDKB	1988	DBLP DOI BibTeX RDF
14	L. Chen	Logique typée at DATALOG.	BDA	1987	DBLP BibTeX RDF
14	Georges Gardarin	Optimisation de programmes récursifs Datalog étendus en utilisant des équations fonctionnelles au point fixe.	BDA	1987	DBLP BibTeX RDF
14	Stefano Ceri, Letizia Tanca	Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries.	VLDB	1987	DBLP BibTeX RDF
14	Georges Gardarin	Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs.	VLDB	1987	DBLP BibTeX RDF
14	Yehoshua Sagiv	Optimizing Datalog Programs.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
14	Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears	Boom analytics: exploring data-centric, declarative programming for the cloud.	EuroSys	2010	DBLP DOI BibTeX RDF	cloud computing, datalog, mapreduce
14	Roberto De Virgilio	Meta-Modeling of Semantic Web Services.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Web Service, Semantic Web, Conceptual Modeling, Datalog
14	Sara Cohen	Equivalence of queries that are sensitive to multiplicities.	VLDB J.	2009	DBLP DOI BibTeX RDF	Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
14	Kazem Taghva, Kirankumar Jayakumar	XML Based Implementation of a Bibliographic Database and Recursive Queries.	ITNG	2009	DBLP DOI BibTeX RDF	FLOWR, Datalog, Xpath, XSLT
14	Jianfeng Du, Yi-Dong Shen	Computing minimum cost diagnoses to repair populated DL-based ontologies.	WWW	2008	DBLP DOI BibTeX RDF	ontologies, diagnosis, description logics, disjunctive datalog
14	Ermelinda Oro, Massimo Ruffolo	Towards a System for Ontology-Based Information Extraction from PDF Documents.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	Ontology, Knowledge Representation, Information Extraction, Datalog, Attribute Grammars
14	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
14	Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini	Defining and continuous checking of structural program dependencies.	ICSE	2008	DBLP DOI BibTeX RDF	continuous checking, controlling program dependencies, static analysis, datalog
14	Piero A. Bonatti, Fabio Mogavero	Comparing Rule-Based Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
14	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Deciding equivalences among conjunctive aggregate queries.	J. ACM	2007	DBLP DOI BibTeX RDF	bag-set semantics, Aggregation, Datalog, query equivalence
14	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis	On preservation under homomorphisms and unions of conjunctive queries.	J. ACM	2006	DBLP DOI BibTeX RDF	Datalog, first-order logic, Conjunctive queries, preservation, homomorphisms, finite model theory, graph minors, infinitary logic
14	Ingo Frommholz, Norbert Fuhr	Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries.	JCDL	2006	DBLP DOI BibTeX RDF	annotation-based retrieval, probabilistic datalog, annotations, POLAR, POOL
14	Sara Cohen	Equivalence of queries combining set and bag-set semantics.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, combined semantics, set semantics, Datalog, query equivalence
14	Sara Cohen, Yehoshua Sagiv, Werner Nutt	Equivalences among aggregate queries with negation.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Aggregation, Datalog, negation, query equivalence
14	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via logic program specialisation.	PEPM	2004	DBLP DOI BibTeX RDF	Cogen approach, database access control, program transformation, datalog, partial deduction
14	Andreas Behrend	Soft stratification for magic set based query evaluation in deductive databases.	PODS	2003	DBLP DOI BibTeX RDF	Datalog
14	Peter Z. Revesz	Safe Query Languages for Constraint Databases.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	Datalog
14	Phokion G. Kolaitis, Moshe Y. Vardi	Conjunctive-Query Containment and Constraint Satisfaction.	PODS	1998	DBLP DOI BibTeX RDF	Datalog
14	Serge Abiteboul, Oliver M. Duschka	Complexity of Answering Queries Using Materialized Views.	PODS	1998	DBLP DOI BibTeX RDF	Datalog
14	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	On the Decidability of Query Containment under Constraints.	PODS	1998	DBLP DOI BibTeX RDF	Datalog
14	Oliver M. Duschka, Michael R. Genesereth	Answering Recursive Queries Using Views.	PODS	1997	DBLP DOI BibTeX RDF	Datalog
14	Serge Abiteboul, Victor Vianu	Regular Path Queries with Constraints.	PODS	1997	DBLP DOI BibTeX RDF	Datalog
14	Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki	On Transformations into Linear Database Logic Programs.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Datalog programs, program transformations, deductive databases, program optimization
14	Estrella Pulido	Recursive Query Processing Using Graph Traversal Techniques.	CIKM	1996	DBLP DOI BibTeX RDF	Datalog
14	Beat Wüthrich	Probabilistic Knowledge Bases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	Axiomatic probability theory, query optimization and approximation, stratified Datalog, data mining, knowledge discovery in databases, incomplete information
14	Irène Guessarian, Jean-Eric Pin	Linearizing Some Recursive Logic Programs.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	Datalog program, chain rule program, rational languages and functions, semantics, linear program, linearization, fixpoint
14	Stéphane Grumbach, Jianwen Su	Dense-Order Constraint Databases.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
14	Michel de Rougemont	The Reliability of Queries.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
14	Kenneth A. Ross	Structural Totality and Constraint Stratification.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
14	Philippe Picouet, Victor Vianu	Semantics and Expressiveness Issues in Active Databases.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
14	Peter T. Wood	Magic Factoring of Closure Programs.	PODS	1995	DBLP DOI BibTeX RDF	Datalog
14	Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom	Constraint Checking with Partial Information.	PODS	1994	DBLP DOI BibTeX RDF	Datalog
14	Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi	Undecidable Optimization Problems for Database Logic Programs.	J. ACM	1993	DBLP DOI BibTeX RDF	query language, Datalog, recursion, boundedness
14	Jan Chomicki, Tomasz Imielinski	Finite Representation of Infinite Query Answers.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	Datalog
14	Ashish Gupta 0001, Jennifer Widom	Local Verification of Global Integrity Constraints in Distributed Databases.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, Datalog