| Publication | Date of Publication | Type |
|---|
| Expressive completeness of two-variable first-order logic with counting for first-order logic queries on rooted unranked trees | 2026-02-27 | Paper |
| Optimizing multiset relational algebra queries using weak-equivalent rewrite rules | 2022-12-09 | Paper |
| scientific article; zbMATH DE number 7297870 (Why is no real title available?) | 2021-01-19 | Paper |
A framework for comparing query languages in their ability to express Boolean queries
Annals of Mathematics and Artificial Intelligence | 2019-12-09 | Paper |
First-order definable counting-only queries
Annals of Mathematics and Artificial Intelligence | 2019-12-09 | Paper |
Calculi for symmetric queries
Journal of Computer and System Sciences | 2019-08-07 | Paper |
Expressiveness of efficient semi-deterministic choice constructs
Automata, Languages and Programming | 2019-04-29 | Paper |
Relative expressive power of navigational querying on graphs using transitive closure
Logic Journal of the IGPL | 2019-01-08 | Paper |
| The power of Tarski's relation algebra on trees | 2018-06-26 | Paper |
A framework for comparing query languages in their ability to express Boolean queries
Lecture Notes in Computer Science | 2018-06-26 | Paper |
First-order definable counting-only queries
Lecture Notes in Computer Science | 2018-06-26 | Paper |
Relative expressive power of navigational querying on graphs
Information Sciences | 2017-05-16 | Paper |
Relative expressive power of navigational querying on graphs
Information Sciences | 2017-05-16 | Paper |
Structural characterizations of the navigational expressiveness of relation algebras on a tree
Journal of Computer and System Sciences | 2015-12-11 | Paper |
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
Journal Of Logic And Computation | 2015-07-15 | Paper |
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
Journal Of Logic And Computation | 2015-07-15 | Paper |
On the conditional independence implication problem: a lattice-theoretic approach
Artificial Intelligence | 2015-06-26 | Paper |
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
Annals of Mathematics and Artificial Intelligence | 2015-02-05 | Paper |
On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
Information Processing Letters | 2014-07-18 | Paper |
The impact of transitive closure on the Boolean expressiveness of navigational query languages on graphs
Lecture Notes in Computer Science | 2012-08-20 | Paper |
Logical and algorithmic properties of stable conditional independence
International Journal of Approximate Reasoning | 2010-07-20 | Paper |
Structural recursion as a query language on lists and ordered trees
Theory of Computing Systems | 2009-08-06 | Paper |
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science | 2007-03-12 | Paper |
An inequality for mixed L^p-norms
Mathematical Inequalities & Applications | 2006-02-08 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
An expressive language for linear spatial database queries
Journal of Computer and System Sciences | 2005-02-23 | Paper |
Average-Case Performance of the Apriori Algorithm
SIAM Journal on Computing | 2005-02-21 | Paper |
Equivalence and normal forms for the restricted and bounded fixpoint in the nested algebra
Information and Computation | 2003-01-14 | Paper |
On the expressiveness of linear-constraint query languages for spatial databases
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1515864 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1515861 (Why is no real title available?) | 2000-10-10 | Paper |
Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
Journal of Computer and System Sciences | 2000-07-25 | Paper |
Typed query languages for databases containing queries
Information Systems | 2000-03-19 | Paper |
On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases
Journal of Computer and System Sciences | 1999-11-09 | Paper |
Complete geometric query languages
Journal of Computer and System Sciences | 1999-11-09 | Paper |
| scientific article; zbMATH DE number 1256674 (Why is no real title available?) | 1999-04-22 | Paper |
First-Order Queries on Finite Structures Over the Reals
SIAM Journal on Computing | 1998-09-21 | Paper |
On the completeness of object-creating database transformation languages
Journal of the ACM | 1998-02-17 | Paper |
A semideterministic approach to object creation and nondeterminism in database queries
Journal of Computer and System Sciences | 1997-03-18 | Paper |
The expressive power of cardinality-bounded set values in object-based data models
Theoretical Computer Science | 1997-02-28 | Paper |
Reflective programming in the relational algebra
Journal of Computer and System Sciences | 1996-11-26 | Paper |
A Grammar-Based Approach Towards Unifying Hierarchical Data Models
SIAM Journal on Computing | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 43047 (Why is no real title available?) | 1993-01-23 | Paper |
The powerset algebra as a natural tool to handle nested database relations
Journal of Computer and System Sciences | 1993-01-16 | Paper |
Parallel Genetic Algorithms Applied to the Traveling Salesman Problem
SIAM Journal on Optimization | 1992-09-27 | Paper |
A comparison between algebraic query languages for flat and nested databases
Theoretical Computer Science | 1992-06-26 | Paper |
On a hierarchy of classes for nested databases
Information Processing Letters | 1990-01-01 | Paper |
A uniform approach toward handling atomic and structured information in the nested relational database model
Journal of the ACM | 1989-01-01 | Paper |
An alternative way to represent the cogroup of a relation in the context of nested databases
Information Processing Letters | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4104744 (Why is no real title available?) | 1988-01-01 | Paper |
Multilevel nested relational structures
Journal of Computer and System Sciences | 1988-01-01 | Paper |
Interaction-free multivalued dependency sets
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4028952 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978448 (Why is no real title available?) | 1985-01-01 | Paper |
Interactions between dependencies and nested relational structures
Journal of Computer and System Sciences | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3834013 (Why is no real title available?) | 1983-01-01 | Paper |
