| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Phokion G. Kolaitis, Enela Pema |
A dichotomy in the complexity of consistent query answering for queries with two atoms.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hull, Phokion G. Kolaitis, Dirk Van Gucht |
The ACM PODS Alberto O. Mendelzon test-of-time award 2012. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis |
Local transformations and conjunctive-query equivalence. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Reverse data exchange: Coping with nulls. |
ACM Trans. Database Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
Characterizing schema mappings via data examples. |
ACM Trans. Database Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt |
Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar). |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
The quest for a logic for polynomial-time computation: technical perspective. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
Probabilistic data exchange. |
J. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. |
PVLDB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Schema Mapping Evolution Through Composition and Inversion. |
Schema Matching and Mapping |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan |
On the tractability and intractability of consistent conjunctive query answering. |
EDBT/ICDT Ph.D. Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
Designing and refining schema mappings via data examples. |
SIGMOD Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Schema mappings and data examples. |
LID |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Phokion G. Kolaitis |
Structural characterizations of schema-mapping languages. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
Probabilistic data exchange. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
probabilistic schema mapping, probabilistic solution, universal probabilistic solution, computational complexity, data integration, data exchange, probabilistic database, conjunctive query, certain answer |
| 1 | Jianwen Su, Phokion G. Kolaitis |
The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
awards |
| 1 | Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan |
Characterizing schema mappings via data examples. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
data examples, data integration, data exchange, schema mappings |
| 1 | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
Database Constraints and Homomorphism Dualities. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Swastik Kopparty |
Random Graphs and the Parity Quantifier. |
Electronic Colloquium on Computational Complexity (ECCC) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan |
Laconic schema mappings: computing core universal solutions by means of SQL queries |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan |
Laconic Schema Mappings: Computing the Core with SQL Queries. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou |
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Phokion G. Kolaitis |
Repair checking in inconsistent databases: algorithms and complexity. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs |
| 1 | Balder ten Cate, Phokion G. Kolaitis |
Structural characterizations of schema-mapping languages. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
data integration, data exchange, schema mapping, definability |
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Reverse data exchange: coping with nulls. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
maximum recovery, quasi-inverse, data integration, data exchange, schema mapping, inverse, model management, chase |
| 1 | Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou |
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Swastik Kopparty |
Random graphs and the parity quantifier. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
0-1 law, AC0, modular convergence, first-order logic |
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Quasi-inverses of schema mappings. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
quasi-inverse, data integration, dependencies, data exchange, Schema mapping, inverse, chase, metadata model management |
| 1 | Henry F. Korth, Philip A. Bernstein, Mary F. Fernández, Le Gruenwald, Phokion G. Kolaitis, Kathryn S. McKinley, M. Tamer Özsu |
Paper and proposal reviews: is the process flawed? |
SIGMOD Record |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini |
Structure identification of Boolean relations and plain bases for co-clones. |
J. Comput. Syst. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.) |
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
A Logical Approach to Constraint Satisfaction. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa |
Interactive generation of integrated schemas. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
concept graph, interactive generation, data integration, schema mapping, schema integration, model management |
| 1 | Foto N. Afrati, Phokion G. Kolaitis |
Answering aggregate queries in data exchange. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
data integration, data exchange, aggregate queries |
| 1 | Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa |
Towards a theory of schema-mapping optimization. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
conjunctive-query equivalence, data-exchange equivalence, data integration, data exchange, schema mapping |
| 1 | Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis |
Phase transitions of PP-complete satisfiability problems. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Chiticariu, Mauricio A. Hernández, Phokion G. Kolaitis, Lucian Popa |
Semi-Automatic Schema Integration in Clio. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Reflections on Finite Model Theory. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Quasi-inverses of schema mappings. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
quasi-inverse, data integration, dependencies, data exchange, schema mapping, inverse, chase, metadata model management |
| 1 | Tomás Feder, Phokion G. Kolaitis |
Closures and dichotomies for quantified constraints. |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou |
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan |
Peer data exchange. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
data integration, Data exchange, schema mapping, conjunctive queries, certain answers, metadata model management |
| 1 | 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 |
| 1 | Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou |
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou |
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer |
06401 Abstracts Collection - Complexity of Constraints. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.) |
Complexity of Constraints, 01.10. - 06.10.2006 |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer |
06401 Executive Summary - Complexity of Constraints. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | T. S. Jayram, Phokion G. Kolaitis, Erik Vee |
The containment problem for REAL conjunctive queries with inequalities. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities |
| 1 | Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan |
The complexity of data exchange. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
database dependencies, complexity, data exchange, schema mappings, heterogenous databases, undecidability, data translation |
| 1 | Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini |
Preferred representations of Boolean relations |
Electronic Colloquium on Computational Complexity (ECCC) |
2005 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Durand, Miki Hermann, Phokion G. Kolaitis |
Subtractive reductions and complete problems for counting complexity classes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa |
Data exchange: semantics and query answering. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa |
Data exchange: getting to the core. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, data integration, dependencies, data exchange, core, conjunctive queries, chase, query answering, Certain answers, universal solutions |
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Composing schema mappings: Second-order dependencies to the rescue. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, data integration, composition, dependencies, Data exchange, schema mapping, conjunctive queries, chase, query answering, certain answers, second-order logic, metadata model management, universal solution |
| 1 | Leopoldo E. Bertossi, Jan Chomicki, Parke Godfrey, Phokion G. Kolaitis, Alex Thomo, Calisto Zuzarte |
Exchange, integration, and consistency of data: report on the ARISE/NISR workshop. |
SIGMOD Record |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
LICS 2003 special issue. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins |
Efficient Implementation of Large-Scale Multi-Structural Databases. |
VLDB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Schema mappings, data exchange, and metadata management. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan |
Peer data exchange. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Michael J. Franklin |
Foreword. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Victor Vianu |
Foreword. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
Existential second-order logic over graphs: Charting the tractability frontier. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory |
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
A Dichotomy in the Complexity of Propositional Circumscription. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Constraint Satisfaction, Complexity, and Logic. |
SETN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
Composing Schema Mappings: Second-Order Dependencies to the Rescue. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Atserias, Anuj Dawar, Phokion G. Kolaitis |
On Preservation under Homomorphisms and Unions of Conjunctive Queries. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi |
Constraint Propagation as a Proof System. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
The complexity of minimal satisfiability problems. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis |
Constraint Satisfaction, Databases, and Logic. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Delbert D. Bailey, Phokion G. Kolaitis |
Phase Transitions of Bounded Satisfiability Problems. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa |
Data Exchange: Semantics and Query Answering. |
ICDT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Jonathan Panttaja |
On the Complexity of Existential Pebble Games. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa |
Data exchange: getting to the core. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Popa, Serge Abiteboul, Phokion G. Kolaitis (eds.) |
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA |
|
2002 |
DBLP BibTeX RDF |
|
| 1 | Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis |
Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu |
On the unusual effectiveness of logic in computer science. |
Bulletin of Symbolic Logic |
2001 |
DBLP BibTeX RDF |
|
| 1 | Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis |
Phase Transitions of PP-Complete Satisfiability Problems. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
The Complexity of Minimal Satisfiability Problems. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
On the Complexity of Model Checking and Inference in Minimal Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
A Dichotomy in the Complexity of Propositional Circumscription. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Thomas Raffill |
In Search of a Phase Transition in the AC-Matching Problem. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
The Complexity of Minimal Satisfiability Problems |
Electronic Colloquium on Computational Complexity (ECCC) |
2000 |
DBLP BibTeX RDF |
|
| 1 | Foto N. Afrati, Phokion G. Kolaitis |
Foreword: Selected Papers from ICDT 1997. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Phokion G. Kolaitis |
Unification Algorithms Cannot Be Combined in Polynomial Time. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
Conjunctive-Query Containment and Constraint Satisfaction. |
J. Comput. Syst. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand, Miki Hermann, Phokion G. Kolaitis |
Subtractive Reductions and Complete Problems for Counting Complexity Classes. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
existential second-order logic, existential second-order formula, prefix class, first-order quantifiers, polynomial-time solvable problem, computational complexity, computational complexity, graph theory, graphs, directed graphs, NP-complete problems, formal logic, undirected graphs, descriptive complexity, tractability |
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
A Game-Theoretic Approach to Constraint Satisfaction. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Miki Hermann, Phokion G. Kolaitis |
Computational Complexity of Simultaneous Elementary Matching Problems. |
J. Autom. Reasoning |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Laurent Juban, Phokion G. Kolaitis |
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Atserias, Phokion G. Kolaitis |
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Barland, Phokion G. Kolaitis, Madhukar N. Thakur |
Integer Programming as a Framework for Optimization and Approximability. |
J. Comput. Syst. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Martin Otto |
On the Boundedness Problem for Two-Variable First-Order Logic. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi |
Panel: logic in the computer science curriculum. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
Conjunctive-Query Containment and Constraint Satisfaction. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
| 1 | Phokion G. Kolaitis, David L. Martin, Madhukar N. Thakur |
On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")