Jan Van den Bussche

Orcid: 0000-0003-0072-3252

Affiliations:
  • Universiteit Hasselt, Belgium


According to our database1, Jan Van den Bussche authored at least 201 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Temporal graph patterns by timed automata.
VLDB J., January, 2024

Toward a Solid Acceptance of the Decentralized Web of Personal Data: Societal and Technological Convergence.
Commun. ACM, January, 2024

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.
Log. Methods Comput. Sci., 2024

2023
Inputs, Outputs, and Composition in the Logic of Information Flows.
ACM Trans. Comput. Log., October, 2023

Preservation theorems for Tarski's relation algebra.
CoRR, 2023

POD-QUERY: Schema Mapping and Query Rewriting for Solid Pods.
Proceedings of the ISWC 2023 Posters, 2023

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

Learning Graph Neural Networks using Exact Compression.
Proceedings of the 6th Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), 2023

Data Provenance for SHACL.
Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

2022
On matrices and K-relations.
Ann. Math. Artif. Intell., 2022

SHACL: A Description Logic in Disguise.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Expressiveness of SHACL Features.
Proceedings of the 25th International Conference on Database Theory, 2022

On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers.
Proceedings of the Foundations of Information and Knowledge Systems, 2022

What Can Database Query Processing Do for Instance-Spanning Constraints?
Proceedings of the Business Process Management Workshops, 2022

2021
Matrix Query Languages.
SIGMOD Rec., 2021

DNAQL: a query language for DNA sticker complexes.
Nat. Comput., 2021

Descriptive complexity of deterministic polylogarithmic time and space.
J. Comput. Syst. Sci., 2021

Shape Fragments.
CoRR, 2021

Subsequence versus substring constraints in sequence pattern languages.
Acta Informatica, 2021

Expressiveness within Sequence Datalog.
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Input-Output Disjointness for Forward Expressions in the Logic of Information Flows.
Proceedings of the 24th International Conference on Database Theory, 2021

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

J-Logic: a Logic for Querying JSON.
CoRR, 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

Descriptive complexity of real computation and probabilistic independence logic.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Executable First-Order Queries in the Logic of Information Flows.
Proceedings of the 23rd International Conference on Database Theory, 2020

On the Expressivity of ASK Queries in SPARQL.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
On the Expressive Power of Query Languages for Matrices.
ACM Trans. Database Syst., 2019

MATLANG: Matrix operations and their expressive power.
SIGMOD Rec., 2019

A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries.
Inf. Process. Lett., 2019

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

Descriptive Complexity of Deterministic Polylogarithmic Time.
Proceedings of the Logic, Language, Information, and Computation, 2019

Fully Generic Queries: Open Problems and Some Partial Answers.
Proceedings of the Model and Data Engineering - 9th International Conference, 2019

Additive First-Order Queries.
Proceedings of the 22nd International Conference on Database Theory, 2019

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

Expressivity Within Second-Order Transitive-Closure Logic.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

On the Satisfiability Problem of Patterns in SPARQL 1.1.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
J-Logic: Logical Foundations for JSON Querying.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 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

2016
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.
VLDB J., 2016

Putting logic-based distributed systems on stable grounds.
Theory Pract. Log. Program., 2016

On the Satisfiability Problem for SPARQL Patterns.
J. Artif. Intell. Res., 2016

Learning with Value-Ramp.
CoRR, 2016

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

2015
A Formal Account of the Open Provenance Model.
ACM Trans. Web, 2015

Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors.
Neural Comput., 2015

Deciding Confluence for a Simple Class of Relational Transducer Networks.
Theory Comput. Syst., 2015

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

Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time.
J. Univers. Comput. Sci., 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

Convergence in Navigational Reinforcement Learning.
CoRR, 2015

On the Power of SPARQL in Expressing Navigational Queries.
Comput. J., 2015

The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs.
Ann. Math. Artif. Intell., 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
Discovering XSD Keys from XML Data.
ACM Trans. Database Syst., 2014

Positive Dedalus programs tolerate non-causality.
J. Comput. Syst. Sci., 2014

On the primitivity of operators in SPARQL.
Inf. Process. Lett., 2014

Inconsistency-tolerant reasoning with OWL DL.
Int. J. Approx. Reason., 2014

On the satisfiability problem for SPARQL patterns.
CoRR, 2014

Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.
CoRR, 2014

FO(C): A Knowledge Representation Language of Causality.
CoRR, 2014

FO(C) and Related Modelling Paradigms.
CoRR, 2014

Inference in the FO(C) Modelling Language.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Graph-theoretic formalization of hybridization in DNA sticker complexes.
Nat. Comput., 2013

Relational transducers for declarative networking.
J. ACM, 2013

Preface.
Fundam. Informaticae, 2013

On the expressive power of update primitives.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Walk logic as a framework for path query languages on graph databases.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

The DNA query language DNAQL.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Querying an Integrated Complex-Object Dataflow Database.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

Well-Defined NRC Queries Can Be Typed - (Extended Abstract).
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

Quantitatively Evaluating Formula-Variable Relevance by Forgetting.
Proceedings of the Advances in Artificial Intelligence, 2013

2012
A comparison of graph-theoretic DNA hybridization models.
Theor. Comput. Sci., 2012

The Navigational Power of Web Browsers.
Theory Comput. Syst., 2012

Deciding eventual consistency for a simple class of relational transducer networks.
Proceedings of the 15th International Conference on Database Theory, 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

A Type System for DNAQL.
Proceedings of the DNA Computing and Molecular Programming - 18th International Conference, 2012

On the CRON Conjecture.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011
Relational completeness of query languages for annotated databases.
J. Comput. Syst. Sci., 2011

The Open Provenance Model core specification (v1.1).
Future Gener. Comput. Syst., 2011

Expressive Power of Safe First-Order Logical Decision Trees.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

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

Logical aspects of spatial databases.
Proceedings of the Finite and Algorithmic Model Theory., 2011

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

Mining tree-query associations in graphs
CoRR, 2010

A Graph Model of Data and Workflow Provenance.
Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

Database Theory, Yuri, and Me.
Proceedings of the Fields of Logic and Computation, 2010

A Formal Model for Databases in DNA.
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009
Database Query Processing Using Finite Cursor Machines.
Theory Comput. Syst., 2009

Introduction to PODS 2006 special section.
J. ACM, 2009

Repetitions and permutations of columns in the semijoin algebra.
RAIRO Theor. Informatics Appl., 2009

Induction of Relational Algebra Expressions.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

2008
Learning ( <i>k</i> , <i>l</i> )-contextual tree languages for information extraction from web pages.
Mach. Learn., 2008

DFL: A dataflow language based on Petri nets and nested relational calculus.
Inf. Syst., 2008

Mapping the NRC Dataflow Model to the Open Provenance Model.
Proceedings of the Provenance and Annotation of Data and Processes, 2008

2007
Introduction to the PODS 2006 special section.
ACM Trans. Database Syst., 2007

Polymorphic type inference for the named nested relational calculus.
ACM Trans. Comput. Log., 2007

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

On the complexity of division and set joins in the relational algebra.
J. Comput. Syst. Sci., 2007

Mining for trees in a graph is NP-complete
CoRR, 2007

On the tree-transformation power of XSLT.
Acta Informatica, 2007

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

A Formal Model of Dataflow Repositories.
Proceedings of the Data Integration in the Life Sciences, 4th International Workshop, 2007

A Theory of Stream Queries.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

Finding Clusters of Positive and Negative Coregulated Genes in Gene Expression Data.
Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007

2006
Database theory column: report on PODS 2006.
SIGACT News, 2006

Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases.
SIAM J. Comput., 2006

A characterization of first-order topological properties of planar spatial data.
J. ACM, 2006

Information extraction from structured documents using <i>k</i>-testable tree automaton inference.
Data Knowl. Eng., 2006

On-line topological simplification of weighted graphs
CoRR, 2006

Mining for Tree-Query Associations in a Graph.
Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

On-line maintenance of simplified weighted graphs for efficient distance queries.
Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006

The Semijoin Algebra.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

2005
Tight upper bounds on the number of candidate patterns.
ACM Trans. Database Syst., 2005

The Semijoin Algebra and the Guarded Fragment.
J. Log. Lang. Inf., 2005

Towards practical meta-querying.
Inf. Syst., 2005

First-order Topology Properties.
Bull. EATCS, 2005

N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets.
Acta Informatica, 2005

Petri Net + Nested Relational Calculus = Dataflow.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Mining tree queries in a graph.
Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2005

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

Learning (k, l)-Contextual Tree Languages for Information Extraction.
Proceedings of the Machine Learning: ECML 2005, 2005

2004
Solving Equations in the Relational Algebra.
SIAM J. Comput., 2004

On the expressive power of semijoin queries.
Inf. Process. Lett., 2004

The semijoin algebra and the guarded fragment
CoRR, 2004

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

DTDs versus XML Schema: A Practical Study.
Proceedings of the Seventh International Workshop on the Web and Databases, 2004

A Characterization of First-Order Topological Properties of Planar Spatial Data.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Meta-SQL: Towards Practical Meta-Querying.
Proceedings of the Advances in Database Technology, 2004

Finite Cursor Machines in Database Query Processing.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003
Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets
CoRR, 2003

Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference.
Proceedings of the IJCAI-03, 2003

Database Interrogation Using Conjunctive Queries.
Proceedings of the Database Theory, 2003

2002
Polymorphic Type Inference for the Relational Algebra.
J. Comput. Syst. Sci., 2002

Expressiveness of structured document query languages based on attribute grammars.
J. ACM, 2002

Abstract State Machines and Computationally Complete Query Languages.
Inf. Comput., 2002

Distributed Computation of Web Queries Using Automata.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Information Extraction in Structured Documents Using Tree Automata Induction.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 2002

Navigating with a Browser.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Relational Association Rules: Getting WARMeR.
Proceedings of the Pattern Detection and Discovery, 2002

2001
Applying an update method to a set of receivers.
ACM Trans. Database Syst., 2001

Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions.
Theor. Comput. Sci., 2001

Rewriting queries using views over monadic database schemas.
Inf. Process. Lett., 2001

Adding For-Loops to First-Order Logic.
Inf. Comput., 2001

Interactive Constrained Association Rule Mining
CoRR, 2001

A Tight Upper Bound on the Number of Candidate Patterns.
Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November, 2001

Applications of Alfred Tarski's Ideas in Database Theory.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
Constraint databases: A tutorial introduction.
SIGMOD Rec., 2000

Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane.
J. Symb. Log., 2000

On Supporting Interactive Association Rule Mining.
Proceedings of the Data Warehousing and Knowledge Discovery, 2000

Constraint Databases, Queries, and Query Languages.
Proceedings of the Constraint Databases, 2000

1999
Reminiscences on Influential Papers.
SIGMOD Rec., 1999

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

Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases.
J. Comput. Syst. Sci., 1999

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

Type Inference in the Polymorphic Relational Algebra.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

On Capturing First-Order Topological Properties of Planar Spatial Databases.
Proceedings of the Database Theory, 1999

A priori versus a posteriori filtering of association rules.
Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999

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

Expressiveness and Complexity of Generic Graph Machines.
Theory Comput. Syst., 1998

Converting Untyped Formulas to Typed Ones.
Acta Informatica, 1998

Topological Canonization of Planar Spatial Data and Its Incremental Maintenance.
Proceedings of the Fundamentals of Information Systems, 1998

Methods and views.
Proceedings of the 14ème Journées Bases de Données Avancées, 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 Topological Elementary Equivalence of Spatial Databases.
Proceedings of the Database Theory, 1997

On Implementing Structured Document Query Facilities on Top of a DOOD.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

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

First-Order Queries on Databases Embedded in an Infinite Structure.
Inf. Process. Lett., 1996

Temporal Versus First-Order Logic to Query Temporal Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Termination Properties of Spatial Datalog Programs.
Proceedings of the Logic in Databases, 1996

1995
The Expressive Power of Complex Values in Object-Based Data Models
Inf. Comput., August, 1995

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

Temporal Connectives versus Explicit Timestamps in Temporal Query Languages
Proceedings of the Recent Advances in Temporal Databases, 1995

Lossless Representation of Topological Spatial Data.
Proceedings of the Advances in Spatial Databases, 1995

Deep Equality Revisited.
Proceedings of the Deductive and Object-Oriented Databases, 1995

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

Towards a Theory of Spatial Database Queries.
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

1993
Using SQL with object-oriented databases.
Inf. Syst., 1993

Complex Object Multi-Level Fixpoint Queries.
Ann. Math. Artif. Intell., 1993

On Minimizing the Forall-Not Degree of a Connective-Free Formula.
Acta Informatica, 1993

GOOD: AGraph-Oriented Object Database System.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries.
Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

A Computational Model for Generic Graph Functions.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992
An Overview of GOOD.
SIGMOD Rec., 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

A Graph- and Object-Oriented Counterpart for SQL.
Proceedings of the Second Far-East Workshop on Future Database Systems 1992, 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

Concepts for Graph-Oriented Object Manipulation.
Proceedings of the Advances in Database Technology, 1992

1991
The Expressive Power of Structured Values in Pure OODB's.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

Active Complex Object Databases (Working Paper).
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Evaluation and optimization of complex object selections.
Proceedings of the Deductive and Object-Oriented Databases, 1991

1990
A formal basis for extending SQL to object-oriented databases.
Bull. EATCS, 1990

Using SQL with Object-Oriented Databases (Preliminary Report).
Proceedings of the Second Workshop on Foundations of Models and Languages for Data and Objects, 1990

1989
Working Group Report: Negation, Functions and Construction in Rule-Based Languages for Complex Objects.
Proceedings of the Workshop on Foundations of Models and Languages for Data and Objects, 1989

TREES: A Graphical Model for Querying Hierarchical Databases.
Proceedings of the Workshop on Foundations of Models and Languages for Data and Objects, 1989


  Loading...