7 citations · 7 across the 4 of their papers we have counts for
3 papers · 1 filter
Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets
Floris Geerts, Lieven Smits, Jan Van den Bussche
This paper addresses the question whether one can determine the connectivity of a semi-algebraic set in three dimensions by testing the connectivity of a finite number of two-dimen…
Polymorphic type inference for the relational algebra
Jan Van den Bussche, Emmanuel Waller
We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorit…
Solving equations in the relational algebra
Joachim Biskup, Jan Paredaens, Thomas Schwentick +1
Enumerating all solutions of a relational algebra equation is a natural and powerful operation which, when added as a query language primitive to the nested relational algebra, yie…