Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Gregory Butler |
Datalog and TwoGroups and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISMC ![In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers, pp. 80-92, 1994, Springer, 3-540-60156-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Oded Shmueli |
Equivalence of DATALOG Queries is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 15(3), pp. 231-241, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Michael Meskes, Jörg Noack |
The Generalized Supplementary Magic-Sets Transformation for Stratified Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 47(1), pp. 31-41, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri |
Permutation dependency in datalog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 68(3), pp. 207-223, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Tuzhilin |
Querying Datalog Programs with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 30(7), pp. 679-700, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Peter Z. Revesz |
A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 116(1), pp. 117-149, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Mariano P. Consens, Alberto O. Mendelzon |
Low Complexity Aggregation in GraphLog and Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 116(1), pp. 95-116, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | William B. Day, Carolyn L. McCreary, Bryan Walls |
An allocation algorithm for distributing Datalog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 23(2), pp. 570-576, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Scarcello |
Calcolo del Modello Well-Founded di Programmi Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP ![In: 8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993, pp. 469-484, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Miguel-Angel Oros, Paul Y. Gloess |
Inheritance in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 52-58, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Fiora Pirri, Clara Pizzuti |
Using Datalog as a Language for Data Dictionary Design: A Deductive Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 304-308, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Jia Liang Han |
On Optimizing Uniformly Bounded Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Database Conference ![In: Advances in Database Research - Proceedings of the 4th Australian Database Conference, ADC '93, Griffith University, Brisbane, Queensland, Australia, February 1-2, 1993, pp. 250-261, 1993, World Scientific, 981-02-1331-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Guozhu Dong, Jianwen Su |
First-Order Incremental Evaluation of Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993, pp. 295-308, 1993, Springer, 3-540-19853-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
14 | Sumit Ganguly, Abraham Silberschatz, Shalom Tsur |
Parallel Bottom-Up Processing of Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 14(1&2), pp. 101-126, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ouri Wolfson |
Parallel Evaluation of Datalog Programs by Load Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 12(3&4), pp. 369-393, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ke Wang, Li-Yan Yuan |
Preservation of Integrity Constraints in Definite DATALOG Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 44(4), pp. 185-193, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Witold Litwin, Tore Risch |
Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 4(6), pp. 517-528, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Atzeni, Riccardo Torlone |
Updating intensional predicates in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 8, pp. 1-17, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Leone, Pasquale Rullo |
Safe computation of the well-founded semantics of Datalog queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 17(1), pp. 17-31, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Noack |
Datalog: Zur Integration von Datenbanken und wissensbasierten Konzepten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 34(2), pp. 113-123, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Leone, Pasquale Rullo |
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 35(Additional-Papers), pp. A519-A527, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli |
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 1-10, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Jia Liang Han |
An Efficient Bottom-ip Evaluation for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 146-154, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 96-105, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Mehmet A. Orgun, William W. Wadge |
A Relational Algebra as a Query Language for Temporal DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Proceedings of the International Conference on Database and Expert Systems Applications, Valencia, Spain, 1992., pp. 276-281, 1992, Springer-Verlag, Wien, 3-211-82400-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
14 | Guozhu Dong |
On Datalog Linearization of Chain Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Studies in Computer Science ![In: Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 26. birthday, pp. 181-206, 1992, Academic Press, 0-12-708240-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Norbert Kehrer, Gustaf Neumann |
An EER Prototyping Environment and its Implemetation in a Datalog Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Entity-Relationship Approach - ER'92, 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992, Proceedings, pp. 243-261, 1992, Springer, 3-540-56023-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Irène Guessarian, Marcos Veloso Peixoto |
About Boundedness for some DATALOG and DATALOG_neg Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings, pp. 284-297, 1992, Springer, 3-540-55808-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Françoise Fabret, Mireille Régnier, Eric Simon |
Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 155-170, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jürgen Seib |
Die Parallelisierung von Datalog-Programmen durch allgemeines Pivotieren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
14 | Serge Abiteboul, Eric Simon |
Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 78(1), pp. 137-158, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Serge Abiteboul, Victor Vianu |
Datalog Extensions for Database Queries and Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 43(1), pp. 62-124, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | C. Samuel Hsieh |
Slice, chunk and dataflow anomaly as DATALOG rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 16(3), pp. 197-203, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 34(Additional-Papers), pp. A121-A129, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Jürgen Seib, Georg Lausen |
Parallele Evaluierung von Datalog-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW ![In: Datenbanksysteme in Büro, Technik und Wissenschaft, GI-Fachtagung, Kaiserslautern, 6.-8. März 1991, Proceedings, pp. 344-361, 1991, Springer, 3-540-53861-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Jürgen Seib |
Parallelizing Datalog: Function Symbols make a Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDIS ![In: Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), Fontainebleu Hilton Resort, Miami Beach, Florida, USA, December 4-6, 1991, pp. 90-97, 1991, IEEE Computer Society, 0-8186-2295-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDIS ![In: Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), Fontainebleu Hilton Resort, Miami Beach, Florida, USA, December 4-6, 1991, pp. 106-115, 1991, IEEE Computer Society, 0-8186-2295-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Weining Zhang, Ke Wang, Siu-Cheung Chau |
Data partition: A Practical Parallel Evaluation of Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDIS ![In: Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), Fontainebleu Hilton Resort, Miami Beach, Florida, USA, December 4-6, 1991, pp. 98-105, 1991, IEEE Computer Society, 0-8186-2295-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
A Hybrid System with Datalog and Concept Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings, pp. 88-97, 1991, Springer, 3-540-54712-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Jim Cox, Ken McAloon |
Decision Procedures for Constraint Based Extensions of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 17-32, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
14 | Guozhu Dong, Seymour Ginsburg |
On the Decomposition of Datalog Program Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 76(1), pp. 143-177, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Anthony J. Bonner |
Hypothetical Datalog: Complexity and Expressibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 76(1), pp. 3-51, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Lars Stefan Jensen, Erik Johannes Kaae |
Distributed Evaluation of the DATALOG Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Proceedings of the International Conference on Database and Expert Systems Applications, Vienna, Austria, August 29-31, 1990., pp. 178-185, 1990, Springer, 3-211-82234-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
14 | Thomas Ludwig 0001 |
Compilation of Complex DATALOG with Stratified Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Proceedings of the 8th Bristish National Conference on Databases (BNCOD-8), Univerity of York, York, UK, July 9-11, 1990, pp. 85-107, 1990, Pitman Publishing, 0-273-08837-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
14 | Peter Z. Revesz |
A Closed Form for Datalog Queries with Integer Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings, pp. 187-201, 1990, Springer, 3-540-53507-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Martin Gogolla |
Datalog: eine deduktive Datenbanksprache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
14 | Thomas Ludwig 0001 |
Compilation of Complex DATALOG with Stratified Negation ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBS Report ![In: IWBS Report 104, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
RDF |
|
14 | Serge Abiteboul |
Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 32(6), pp. 281-287, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Bernhard Convent |
Deciding Finiteness, Groundness and Domain Independence of Pure Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 25(8/9), pp. 401-416, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
14 | Serge Abiteboul, Victor Vianu |
Fixpoint Extensions of First-Order Logic and Datalog-Like Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989, pp. 71-79, 1989, IEEE Computer Society, 0-8186-1954-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Serge Abiteboul, Eric Simon |
Fundamental properties of deterministic and non deterministic extensions of DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Cinquièmes Journées Bases de Données Avancées, 26-28 Septembre 1989, Genève, Suisse (Informal Proceedings)., pp. 109-130, 1989, INRIA. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
14 | Stéphane Grumbach |
DATALOGrew: DATALOG with rewriting rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Cinquièmes Journées Bases de Données Avancées, 26-28 Septembre 1989, Genève, Suisse (Informal Proceedings)., pp. 87-108, 1989, INRIA. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
14 | Stéphane Grumbach |
Integration of Functions Defined with Rewriting Rules in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989, pp. 349-368, 1989, North-Holland/Elsevier Science Publishers, 0-444-88433-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
14 | Alexander Brodsky 0001, Yehoshua Sagiv |
On Termination of Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989, pp. 47-64, 1989, North-Holland/Elsevier Science Publishers, 0-444-88433-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
14 | Yehoshua Sagiv |
Optimizing Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 659-698, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Lang |
Automates Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Quatrièmes Journées Bases de Données Avancées, 17-20 Mai 1988, Bénodet, France (2 Volumes) (Informal Proceedings)., pp. 21-52, 1988, INRIA. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | L. Chen |
Une extension de Datalog avec fonctions agregat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Quatrièmes Journées Bases de Données Avancées, 17-20 Mai 1988, Bénodet, France (2 Volumes) (Informal Proceedings)., pp. 239-256, 1988, INRIA. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Anthony J. Bonner |
Hypothetical Datalog: Complexity and Expressiblity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 144-160, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Lang |
Datalog Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDKB ![In: Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel., pp. 389-404, 1988, Morgan Kaufmann, 978-1-4832-1313-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Ravi Krishnamurthy, Shamim A. Naqvi |
Non-Deterministic Choice in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDKB ![In: Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel., pp. 416-424, 1988, Morgan Kaufmann, 978-1-4832-1313-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | L. Chen |
Logique typée at DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Troisièmes Journées Bases de Données Avancées, 20-22 Mai 1987, Port-Camargue, France (Informal Proceedings)., pp. 111-142, 1987, INRIA. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
14 | Georges Gardarin |
Optimisation de programmes récursifs Datalog étendus en utilisant des équations fonctionnelles au point fixe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: Troisièmes Journées Bases de Données Avancées, 20-22 Mai 1987, Port-Camargue, France (Informal Proceedings)., pp. 401-428, 1987, INRIA. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
14 | Stefano Ceri, Letizia Tanca |
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England, pp. 31-41, 1987, Morgan Kaufmann, 0-934613-46-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
14 | Georges Gardarin |
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England, pp. 21-30, 1987, Morgan Kaufmann, 0-934613-46-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
14 | Yehoshua Sagiv |
Optimizing Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP7.52 Workshop on Database Theory ![In: XP / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 223-236, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cloud computing, datalog, mapreduce |
14 | Roberto De Virgilio |
Meta-Modeling of Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, pp. 162-169, 2010, IEEE Computer Society, 978-0-7695-4126-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Web Service, Semantic Web, Conceptual Modeling, Datalog |
14 | Sara Cohen |
Equivalence of queries that are sensitive to multiplicities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(3), pp. 765-785, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1073-1078, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 565-574, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II, pp. 1482-1499, 2008, Springer, 978-3-540-88872-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 45-54, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 391-400, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
continuous checking, controlling program dependencies, static analysis, datalog |
14 | Piero A. Bonatti, Fabio Mogavero |
Comparing Rule-Based Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 11-18, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(2), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(2), pp. 208-237, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 55-64, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 70-79, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 328-360, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 190-199, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA, pp. 102-110, 2003, ACM, 1-58113-670-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Peter Z. Revesz |
Safe Query Languages for Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(1), pp. 58-99, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Phokion G. Kolaitis, Moshe Y. Vardi |
Conjunctive-Query Containment and Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, USA, pp. 205-213, 1998, ACM Press, 0-89791-996-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Serge Abiteboul, Oliver M. Duschka |
Complexity of Answering Queries Using Materialized Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, USA, pp. 254-263, 1998, ACM Press, 0-89791-996-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
On the Decidability of Query Containment under Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, USA, pp. 149-158, 1998, ACM Press, 0-89791-996-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Oliver M. Duschka, Michael R. Genesereth |
Answering Recursive Queries Using Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona, USA, pp. 109-116, 1997, ACM Press, 0-89791-910-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Serge Abiteboul, Victor Vianu |
Regular Path Queries with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona, USA, pp. 122-133, 1997, ACM Press, 0-89791-910-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki |
On Transformations into Linear Database Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 433-444, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Datalog programs, program transformations, deductive databases, program optimization |
14 | Estrella Pulido |
Recursive Query Processing Using Graph Traversal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, USA, pp. 37-44, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Beat Wüthrich |
Probabilistic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(5), pp. 691-698, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(1), pp. 137-149, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 66-77, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Michel de Rougemont |
The Reliability of Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 286-291, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Kenneth A. Ross |
Structural Totality and Constraint Stratification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 184-195, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Philippe Picouet, Victor Vianu |
Semantics and Expressiveness Issues in Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 126-138, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Peter T. Wood |
Magic Factoring of Closure Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 174-183, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
Constraint Checking with Partial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 45-55, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi |
Undecidable Optimization Problems for Database Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(3), pp. 683-713, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
query language, Datalog, recursion, boundedness |
14 | Jan Chomicki, Tomasz Imielinski |
Finite Representation of Infinite Query Answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(2), pp. 181-223, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Ashish Gupta 0001, Jennifer Widom |
Local Verification of Global Integrity Constraints in Distributed Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 49-58, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SQL, Datalog |