Dirk Van Gucht

Affiliations:
  • Indiana University, Bloomington, USA


According to our database1, Dirk Van Gucht authored at least 128 papers between 1983 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees.
LICS, 2023

2022
The power of Tarski's relation algebra on trees.
J. Log. Algebraic Methods Program., 2022

Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules.
Proceedings of the Foundations of Information and Knowledge Systems, 2022

2021
From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization.
Comput. J., 2021

2020
Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees.
Inf. Syst., 2020

2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

2019
Calculi for symmetric queries.
J. Comput. Syst. Sci., 2019

A framework for comparing query languages in their ability to express boolean queries.
Ann. Math. Artif. Intell., 2019

First-order definable counting-only queries.
Ann. Math. Artif. Intell., 2019

2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018
Computationally Complete Relational Query Languages.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

BP-Completeness.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees.
CoRR, 2018

2017
The primitivity of operators in the algebra of binary relations under conjunctions of containments.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

From relation algebra to semi-join algebra: an approach for graph query optimization.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016
Structural characterizations of the navigational expressiveness of relation algebras on a tree.
J. Comput. Syst. Sci., 2016

2015
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations.
J. Log. Comput., 2015

Relative expressive power of navigational querying on graphs.
Inf. Sci., 2015

Relative expressive power of navigational querying on graphs using transitive closure.
Log. J. IGPL, 2015

The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs.
Ann. Math. Artif. Intell., 2015

The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Relative expressive power of downward fragments of navigational query languages on trees and chains.
Proceedings of the 15th Symposium on Database Programming Languages, 2015

2014
On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements.
Inf. Process. Lett., 2014

2013
An Approach towards the Study of Symmetric Queries.
Proc. VLDB Endow., 2013

On the conditional independence implication problem: A lattice-theoretic approach.
Artif. Intell., 2013

The ACM PODS Alberto O. Mendelzon test-of-time award 2013.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

2012
The ACM PODS Alberto O. Mendelzon test-of-time award 2012.
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form and Minimization.
Comput. J., 2011

Relative expressive power of navigational querying on graphs.
Proceedings of the Database Theory, 2011

2010
Towards a theory of search queries.
ACM Trans. Database Syst., 2010

Database theory column report on Pods 2010.
SIGACT News, 2010

Logical and algorithmic properties of stable conditional independence.
Int. J. Approx. Reason., 2010

2009
Computationally Complete Relational Query Languages.
Proceedings of the Encyclopedia of Database Systems, 2009

BP-Completeness.
Proceedings of the Encyclopedia of Database Systems, 2009

On the Expressive Power of the Relational Algebra on Finite Sets of Relation Pairs.
IEEE Trans. Knowl. Data Eng., 2009

Structural Recursion as a Query Language on Lists and Ordered Trees.
Theory Comput. Syst., 2009

A methodology for coupling fragments of XPath with structural indexes for XML documents.
Inf. Syst., 2009

2008
The implication problem for measure-based constraints.
Inf. Syst., 2008

Trie Indexes for Efficient XML Query Evaluation.
Proceedings of the 11th International Workshop on the Web and Databases, 2008

On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach.
Proceedings of the UAI 2008, 2008

2007
Well-definedness and semantic type-checking for the nested relational calculus.
Theor. Comput. Sci., 2007

A crash course on database queries.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Structural Recursion on Ordered Trees and List-Based Complex Objects.
Proceedings of the Database Theory, 2007

Coupling Fragments of XPath with XML Indexing and Query Decomposition.
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007

2006
A probability analysis for candidate-based frequent itemset algorithms.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Structural characterizations of the semantics of XPath as navigation tool on a document.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Peak-Jumping Frequent Itemset Mining Algorithms.
Proceedings of the Knowledge Discovery in Databases: PKDD 2006, 2006

2005
A Calculus for Data Mapping.
Proceedings of the International Workshop on Database Interoperability, 2005

Differential constraints.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.
Proceedings of the Database Theory, 2005

2004
Average-Case Performance of the Apriori Algorithm.
SIAM J. Comput., 2004

An expressive language for linear spatial database queries.
J. Comput. Syst. Sci., 2004

Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery
CoRR, 2004

2002
Adding a path connectedness operator to FO+poly (linear).
Acta Informatica, 2002

2001
On the expressiveness of linear-constraint query languages for spatial databases.
Theor. Comput. Sci., 2001

Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra.
Inf. Comput., 2001

Augmenting SQL with Dynamic Restructuring to Support Interoperability in a Relational Federation.
Proceedings of the Engineering Federated Information Systems, 2001

A Relational Algebra for Data/Metadata Integration in a Federated Database System.
Proceedings of the 2001 ACM CIKM International Conference on Information and Knowledge Management, 2001

2000
Towards a Theory of Movie Database Queries.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Genericity in Spatial Databases.
Proceedings of the Constraint Databases, 2000

Linear-Constraint Databases.
Proceedings of the Constraint Databases, 2000

1999
Complete Geometric Query Languages.
J. Comput. Syst. Sci., 1999

On the Decidability of Semilinearity for Semialgebraic Sets and Its Implications for Spatial Databases - CORRIGENDUM.
J. Comput. Syst. Sci., 1999

On the Decidability of Semilinearity for Semialgebraic Sets and Its Implications for Spatial Databases.
J. Comput. Syst. Sci., 1999

Typed Query Languages for Databases Containing Queries.
Inf. Syst., 1999

1998
First-Order Queries on Finite Structures Over the Reals.
SIAM J. Comput., 1998

1997
A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries.
J. Comput. Syst. Sci., 1997

On the completeness of object-creating database transformation languages.
J. ACM, 1997

Complete Geometrical Query Languages.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

CE: the Classifier-Estimator Framework for Data Mining.
Proceedings of the Data Mining and Reverse Engineering: Searching for Semantics, 1997

1996
Reflective Programming in the Relational Algebra.
J. Comput. Syst. Sci., 1996

Providing Better Support for a Class of Decision Support Queries.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

On Query Languages for Linear Queries Definable with Polynomial Constraints.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models.
Theor. Comput. Sci., 1995

On the Desirability and Limitations of Linear Spatial Database Models.
Proceedings of the Advances in Spatial Databases, 1995

Modeling and Querying Primitives for Digital Media.
Proceedings of the International Workshop on Multi-Media Database Management Systems, 1995

The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent.
Proceedings of the Database Programming Languages (DBPL-5), 1995

A Uniform Data Model for Relational Data and Meta-Data Query Processing.
Proceedings of the Advances in Data Management, 1995

1994
A Graph-Oriented Object Database Model.
IEEE Trans. Knowl. Data Eng., 1994

A Grammar-Based Approach Towards Unifying Hierarchical Data Models.
SIAM J. Comput., 1994

Concepts for Modeling and Querying List-Structured Data.
Inf. Process. Manag., 1994

Towards a Theory of Spatial Database Queries.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

A Query Language for List-Based Complex Objects.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Expressiveness of Efficient Semi-Deterministic Choice Constructs.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Levelled Entity Relationship Model.
Proceedings of the Entity-Relationship Approach, 1994

1993
Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems.
Proceedings of the Workshop on Logic Programming with Sets, 1993

Algebraic Foundation and Optimization for Object Based Query Languages.
Proceedings of the Ninth International Conference on Data Engineering, 1993

Querying with Generalized Quantifiers.
Proceedings of the Applications of Logic Databases, 1993

1992
Converting Nested Algebra Expressions into Flat Algebra Expressions.
ACM Trans. Database Syst., 1992

An Overview of GOOD.
SIGMOD Rec., 1992

The Powerset Algebra as a Natural Tool to Handle Nested Database Relations.
J. Comput. Syst. Sci., 1992

Semi-determinism.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

A Hierarchy of Faithful Set Creation in Pure OODB's.
Proceedings of the Database Theory, 1992

On the Completeness of Object-Creating Query Languages (Extended Abstract)
Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992

Non-Deterministic Aspects of Object-Creating Database Transformations.
Proceedings of the Modelling Database Dynamics, 1992

1991
A Comparison between Algebraic Query Languages for Flat and Nested Databases.
Theor. Comput. Sci., 1991

Parallel Genetic Algorithms Applied to the Traveling Salesman Problem.
SIAM J. Optim., 1991

Tagging as an Alternative to Object Creation.
Proceedings of the Query Processing for Advanced Database Systems, 1991

1990
On a Hierarchy of Classes for Nested Databases.
Inf. Process. Lett., 1990

A Graph-Oriented Object Model for Database End-User Interfaces.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

A Graph-Oriented Object Database Model.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

1989
A uniform approach toward handling atomic and structured information in the nested relational database model.
J. ACM, 1989

An Alternative Way to Represent the Cogroup of a Relation in the Context of Nested Databases.
Inf. Process. Lett., 1989

A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract).
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

The Effects of Population SizeHeuristic Crossover and Local Improvement on a Genetic Algorithm for the Traveling Salesman Problem.
Proceedings of the 3rd International Conference on Genetic Algorithms, 1989

The Structure of the Relational Database Model
EATCS Monographs on Theoretical Computer Science 17, Springer, ISBN: 978-3-642-69956-6, 1989

1988
Interaction-Free Multivalued Dependency Sets.
Theor. Comput. Sci., 1988

Multilevel Nested Relational Structures.
J. Comput. Syst. Sci., 1988

The Expressiveness of Query Languages for Nested Relations.
IEEE Data Eng. Bull., 1988

An Implementation for Nested Relational Databases.
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

1987
On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

A Storage Structure for Nested Relational Databases.
Proceedings of the Nested Relations and Complex Objects, 1987

An Introduction to the Completeness of Languages for Complex Objects and Nested Relations.
Proceedings of the Nested Relations and Complex Objects, 1987

Incorporating Heuristic Information into Genetic Search.
Proceedings of the 2nd International Conference on Genetic Algorithms, 1987

Parallelisation of Probabilistic Sequential Search Algorithms.
Proceedings of the 2nd International Conference on Genetic Algorithms, 1987

A Storage Structure for Unnormalized Relational Databases.
Proceedings of the Datenbanksysteme in Büro, 1987

1986
High Level Data Manipulation Languages for Unnormalized Relational Database Models.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Some Classes of Multilevel Relational Structures.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

1985
Interactions between Dependencies and Nested Relational Structures.
J. Comput. Syst. Sci., 1985

Determining when a Structure is a Nested Relation.
Proceedings of the VLDB'85, 1985

Structure of Relations Satisfying Certain Families of Dependencies.
Proceedings of the STACS 85, 1985

Genetic Algorithms for the Traveling Salesman Problem.
Proceedings of the 1st International Conference on Genetic Algorithms, 1985

1984
Weak Multivalued Dependencies.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983
An Application of the Theory of Graphs and Hypergraphs to the Decomposition of Relational Database Schemes.
Proceedings of the CAAP'83, 1983


  Loading...