Sciweavers

3 search results - page 1 / 1
» The semijoin algebra and the guarded fragment
Sort
View
CORR
2004
Springer
97views Education» more  CORR 2004»
13 years 4 months ago
The semijoin algebra and the guarded fragment
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Buss...
ICDT
2007
ACM
143views Database» more  ICDT 2007»
13 years 11 months ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...
ICDT
2009
ACM
130views Database» more  ICDT 2009»
14 years 5 months ago
Towards a theory of search queries
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
George H. L. Fletcher, Jan Van den Bussche, Dirk V...