Leonid Libkin

Norman W. Paton

IEEE Trans. Big Data, 2021

PG-Keys: Keys for Property Graphs.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

Handling SQL Nulls with Two-Valued Logic.

[BibT_eX]

[DOI]

Liat Peterfreund

CoRR, 2020

Queries with Arithmetic on Incomplete Databases.

[BibT_eX]

[DOI]

Matthias F. J. Hofer

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

Coping with Incomplete Data: Recent Advances.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

Knowledge-Preserving Certain Answers for SQL-like Queries.

[BibT_eX]

[DOI]

Etienne Toussaint

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Reasoning about Measures of Unmeasurable Sets.

[BibT_eX]

[DOI]

Matthias F. J. Hofer

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

Graph Path Navigation.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Research Highlights: Bridging Theory and Practice with Query Log Analysis.

[BibT_eX]

[DOI]

SIGMOD Rec., 2019

Updating Graph Databases with Cypher.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

On the Codd semantics of SQL nulls.

[BibT_eX]

[DOI]

Inf. Syst., 2019

Measuring the Likelihood of Numerical Constraints.

[BibT_eX]

[DOI]

Matthias F. J. Hofer

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Do We Need Many-valued Logics for Incomplete Information?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Expressive Power of Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

TriAL: A Navigational Algebra for RDF Triplestores.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

Formal Semantics of the Language Cypher.

[BibT_eX]

[DOI]

CoRR, 2018

Cypher: An Evolving Query Language for Property Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Management of Data, 2018

Certain Answers Meet Zero-One Laws.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Approximating Certainty in Querying Data and Metadata.

[BibT_eX]

[DOI]

Cristina Civili

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Explainable Certain Answers.

[BibT_eX]

[DOI]

Giovanni Amendola

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

How Standard is the SQL Standard?

[BibT_eX]

[DOI]

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

An Operational Approach to Consistent Query Answering.

[BibT_eX]

[DOI]

Marco Calautti

Andreas Pieris

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017

Correctness of SQL Queries on Databases with Nulls.

[BibT_eX]

[DOI]

SIGMOD Rec., 2017

A Formal Semantics of SQL Queries, Its Validation, and Applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2017

20th workshop on logic, language, information and computation - WoLLIC 2013.

[BibT_eX]

[DOI]

Ulrich Kohlenbach

Ruy J. G. B. de Queiroz

J. Comput. Syst. Sci., 2017

The VADA Architecture for Cost-Effective Data Wrangling.

[BibT_eX]

[DOI]

Nikolaos Konstantinou

Alvaro A. A. Fernandes

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Schema Mappings for Data Graphs.

[BibT_eX]

[DOI]

Nadime Francis

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

On Querying Incomplete Information in Databases under Bag Semantics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Data context informed data wrangling.

[BibT_eX]

[DOI]

Martin Koehler

Alex Bogatu

Cristina Civili

Nikolaos Konstantinou

Edward Abel

Alvaro A. A. Fernandes

John A. Keane

Norman W. Paton

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

SQL's Three-Valued Logic and Certain Answers.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2016

Technical Perspective: Data Distribution for Fast Joins.

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Querying Graphs with Data.

[BibT_eX]

[DOI]

Wim Martens

J. ACM, 2016

Order-Invariant Types and Their Applications.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

Certain answers as objects and knowledge.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Negative Knowledge for Certain Query Answers.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Making SQL Queries Correct on Incomplete Databases: A Feasibility Study.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Approximations and Refinements of Certain Answers via Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Data Wrangling for Big Data: Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Extending Database Technology, 2016

2015

Certain Answers over Incomplete XML Documents: Extending Tractability Boundary.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Synchronizing Relations on Words.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Regular expressions for data words.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

SQL's Handling of Nulls: Can It Be Fixed?

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

How to Define Certain Answers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Naïve Evaluation of Queries over Incomplete Databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2014

Efficient Approximations of Conjunctive Queries.

[BibT_eX]

[DOI]

Miguel Romero

SIAM J. Comput., 2014

Querying Regular Graph Patterns.

[BibT_eX]

[DOI]

J. ACM, 2014

XML Schema Mappings: Data Exchange and Metadata Management.

[BibT_eX]

[DOI]

J. ACM, 2014

Incomplete data: what went wrong, and how to fix it.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

On scale independence for querying big data.

[BibT_eX]

[DOI]

Floris Geerts

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Pattern logics and auxiliary relations.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Foundations of Data Exchange

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 9781107016163, 2014

2013

Parameterized regular expressions and their languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

On the aggregation problem for synthesized Web services.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

Solutions and query rewriting in data exchange.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Graph Logics with Rational Relations

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Reasoning About Pattern-Based XML Queries.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Trial for RDF: adapting graph query languages for RDF data.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

When is naive evaluation possible?

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Querying graph databases with XPath.

[BibT_eX]

[DOI]

Wim Martens

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Containment of pattern-based queries over data trees.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Regular Expressions with Binding over Data Words for Querying Graph Databases.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

Static Analysis and Query Answering for Incomplete Data Trees with Constraints.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Efficient reasoning about data trees via integer linear programming.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2012

Expressive Languages for Path Queries over Graph-Structured Data.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2012

Tractable XML data exchange via relations.

[BibT_eX]

[DOI]

Rada Chirkova

Frontiers Comput. Sci., 2012

Regular Expressions for Data Words.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Graph Logics with Rational Relations and the Generalized Intersection Problem.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Regular path queries on graphs with data.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Database Theory, 2012

On the complexity of query answering over incomplete XML documents.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Database Theory, 2012

On Low Treewidth Approximations of Conjunctive Queries.

[BibT_eX]

[DOI]

Miguel Romero

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011

Closed world data exchange.

[BibT_eX]

[DOI]

André Hernich

Nicole Schweikardt

ACM Trans. Database Syst., 2011

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

Data exchange and schema mappings in open and closed worlds.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2011

Incomplete information and certain answers in general data models.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Querying graph patterns.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

A Direct Translation from XPath to Nondeterministic Automata.

[BibT_eX]

[DOI]

Nadime Francis

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010

Relational and XML Data Exchange

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01840-4, 2010

An information-theoretic analysis of worst-case redundancy in database design.

[BibT_eX]

[DOI]

Solmaz Kolahi

ACM Trans. Database Syst., 2010

Reasoning about XML with temporal logics and automata.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

XML with incomplete information.

[BibT_eX]

[DOI]

J. ACM, 2010

Disjoint pattern matching and implication in strings.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2010

Certain answers for XML queries.

[BibT_eX]

[DOI]

Filip Murlak

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Expressive languages for path queries over graph-structured data.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On the Satisfiability of Two-Variable Logic over Data Words.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

On the tradeoff between mapping and querying power in XML data exchange.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2010

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems.

[BibT_eX]

[DOI]

Anthony Widjaja To

Proceedings of the Foundations of Software Science and Computational Structures, 2010

On Incomplete XML Documents with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009

Expressive Power of Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Introduction to PODS 2007 special section.

[BibT_eX]

[DOI]

Victor Vianu

J. ACM, 2009

The finite model theory toolbox of a database theoretician.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

XML with incomplete information: models, properties, and query answering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

XML schema mappings.

[BibT_eX]

[DOI]

Shun'ichi Amano

Filip Murlak

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

Open and Closed World Assumptions in Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Introduction to the PODS 2007 special section.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2008

On the Complexity of Verifying Consistency of XML Specifications.

[BibT_eX]

[DOI]

SIAM J. Comput., 2008

First-Order and Temporal Logics for Nested Words.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

XML data exchange: Consistency and query answering.

[BibT_eX]

[DOI]

J. ACM, 2008

Game-based notions of locality over finite models.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2008

Recurrent Reachability Analysis in Regular Model Checking.

[BibT_eX]

[DOI]

Anthony Widjaja To

Proceedings of the Logic for Programming, 2008

2007

Finite Model Theory and Its Applications

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-68804-4, 2007

Logical definability and query languages over ranked and unranked trees.

[BibT_eX]

[DOI]

Frank Neven

ACM Trans. Comput. Log., 2007

Preface.

[BibT_eX]

[DOI]

Thomas Eiter

Theor. Comput. Sci., 2007

Normalization Theory for XML.

[BibT_eX]

[DOI]

Proceedings of the Database and XMLTechnologies, 5th International XML Database Symposium, 2007

XML design for relational storage.

[BibT_eX]

[DOI]

Solmaz Kolahi

Proceedings of the 16th International Conference on World Wide Web, 2007

Combining Temporal Logics for Querying XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

2006

Introduction to special ICDT section.

[BibT_eX]

[DOI]

Thomas Eiter

ACM Trans. Database Syst., 2006

Logics for Unranked Trees: An Overview.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

Embedded Finite Models.

[BibT_eX]

Bull. EATCS, 2006

Data exchange and incomplete information.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF.

[BibT_eX]

[DOI]

Solmaz Kolahi

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005

An information-theoretic approach to normal forms for relational and XML data.

[BibT_eX]

[DOI]

J. ACM, 2005

Locality of Queries and Transformations.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Temporal Logics over Unranked Trees.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Consistency of XML Specifications.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

2004

A normal form for XML documents.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2004

Locally Consistent Transformations and Query Answering in Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Efficient Incremental Validation of XML Documents.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Data Engineering, 2004

Elements of Finite Model Theory

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-07003-1, 2004

2003

Variable independence for first-order definable constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

Expressive power of SQL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Reachability and connectivity queries in constraint databases.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Definable relations and first-order query languages over strings.

[BibT_eX]

[DOI]

J. ACM, 2003

A collapse result for constraint queries over structures of small degree.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

Incremental recomputation in local languages.

[BibT_eX]

[DOI]

Guozhu Dong

Inf. Comput., 2003

Logical Definability and Query Languages over Unranked Trees.

[BibT_eX]

[DOI]

Frank Neven

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Editorial.

[BibT_eX]

[DOI]

Martín Abadi

Frank Pfenning

ACM Trans. Comput. Log., 2002

Lower bounds for invariant queries in logics with counting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Aggregate Operators in Constraint Query Languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

On XML integrity constraints in the presence of DTDs.

[BibT_eX]

[DOI]

J. ACM, 2002

On Verifying Consistency of XML Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Tree Extension Algebras: Logics, Automata, and Query Languages.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

What's Hard about XML Schema Constraints?

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001

Logics capturing local properties.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2001

Reminiscences on Influential Papers.

[BibT_eX]

[DOI]

SIGMOD Rec., 2001

Logics with aggregate operators.

[BibT_eX]

[DOI]

J. ACM, 2001

On the orthographic dimension of definable sets.

[BibT_eX]

[DOI]

Stavros S. Cosmadakis

Gabriel M. Kuper

Inf. Process. Lett., 2001

String Operations in Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

A Model-Theoretic Approach to Regular String Relations.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Logics with counting and local properties.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2000

Local properties of query languages.

[BibT_eX]

[DOI]

Guozhu Dong

Theor. Comput. Sci., 2000

Safe Constraint Queries.

[BibT_eX]

[DOI]

SIAM J. Comput., 2000

Relational queries over interpreted structures.

[BibT_eX]

[DOI]

J. ACM, 2000

Variable Independence, Quantifier Elimination, and Constraint Representations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Introduction.

[BibT_eX]

Gabriel M. Kuper

Jan Paredaens

Proceedings of the Constraint Databases, 2000

Aggregate Languages for Constraint Databases.

[BibT_eX]

Jan Chomicki

Proceedings of the Constraint Databases, 2000

Query Safety with Constraints.

[BibT_eX]

Proceedings of the Constraint Databases, 2000

Expressive Power: The Finite Case.

[BibT_eX]

Proceedings of the Constraint Databases, 2000

1999

Database Principles Column - Introduction.

[BibT_eX]

[DOI]

SIGMOD Rec., 1999

Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases.

[BibT_eX]

[DOI]

SIGMOD Rec., 1999

Query languages with arithmetic and constraint databases.

[BibT_eX]

[DOI]

SIGACT News, 1999

Notions of Locality and Their Logical Characterizations over Finite Models.

[BibT_eX]

[DOI]

Lauri Hella

Juha Nurmonen

J. Symb. Log., 1999

Exact and Approximate Aggregation in Constraint Query.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

On the Power of Incremental Evaluation in SQL-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

What you can and cannot say in SQL or proving folk theorems in database theory.

[BibT_eX]

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998

Models of Approximation in Databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Relational Expressive Power of Constraint Query Languages.

[BibT_eX]

[DOI]

J. ACM, 1998

Verifiable Properties of Database Transactions.

[BibT_eX]

[DOI]

Inf. Comput., 1998

Unary Quantifiers, Transitive Closure, and Relations of Large Degree.

[BibT_eX]

[DOI]

Proceedings of the STACS 98, 1998

On Counting Logics and Local Properties.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions.

[BibT_eX]

[DOI]

Howard Trickey

IEEE Trans. Knowl. Data Eng., 1997

Query Languages for Bags and Aggregate Functions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1997

Languages for Relational Databases over Interpreted Structures.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

On the Forms of Locality over Finite Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Tractable Iteration Mechanisms for Bag Languages.

[BibT_eX]

[DOI]

Latha S. Colby

Proceedings of the Database Theory, 1997

Counting and Locality over Finite Structures: A Survey.

[BibT_eX]

[DOI]

Juha Nurmonen

Proceedings of the Generalized Quantifiers and Computation, 1997

Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

On the Power of Aggregation in Relational Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

1996

Query languages for bags: expressive power and complexity.

[BibT_eX]

[DOI]

SIGACT News, 1996

Semantic Representations and Query Labguages for Or-Sets.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques.

[BibT_eX]

[DOI]

Rona Machlin

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Algorithms for Deferred View Maintenance.

[BibT_eX]

[DOI]

Latha S. Colby

Inderpal Singh Mumick

Howard Trickey

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

On the Structure of Queries in Constraint Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1996

1995

On Representation and Querying Incomplete Information in Databases with Bags.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Trees as semilattices.

[BibT_eX]

[DOI]

Vladimir Gurvich

Discret. Math., 1995

Interfacing HOL90 with a Functional Database Query Language.

[BibT_eX]

[DOI]

Elsa L. Gunter

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Incremental Maintenance of Views with Duplicates.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

A Semantics-based Approach to Design of Query Languages for Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Databases, 1995

Normalizing Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Approximation in Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1995

Query Language Primitives for Programming with Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages (DBPL-5), 1995

On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL.

[BibT_eX]

[DOI]

Guozhu Dong

Proceedings of the Database Programming Languages (DBPL-5), 1995

1994

Comprehension Syntax.

[BibT_eX]

[DOI]

SIGMOD Rec., 1994

Conservativity of Nested Relational Calculi with Internal Generic Functions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1994

New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.

[BibT_eX]

[DOI]

Elsa L. Gunter

Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

1993

Direct product decompositions of lattices, closures and relation schemes.

[BibT_eX]

[DOI]

Discret. Math., 1993

Semantic Representations and Query Languages for Or-sets.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Aggregate Functions, Conservative Extensions, and Linear Orders.

[BibT_eX]

Proceedings of the 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, 1993

Some Properties of Query Languages for Bags.

[BibT_eX]

1992

An elementary proof that upper and lower powerdomain constructions commute.

[BibT_eX]