Digital Symposium Collection 2000  

 
 
 
 
 
 

 
















Jan Van den Bussche

Type Inference in the Polymorphic Relational Algebra

Publications

Note: Links lead to the DBLP on the Web.

Jan Van den Bussche

51 Bart Kuijpers , Jan Van den Bussche: On Capturing First-Order Topological Properties of Planar Spatial Databases. ICDT 1999 : 187-198

50 Frank Neven , Martin Otto , Jurek Tyszkiewicz , Jan Van den Bussche: Adding For-Loops to First-Order Logic. ICDT 1999 : 58-69

49 Jan Van den Bussche, Emmanuel Waller : Type Inference in the Polymorphic Relational Algebra. PODS 1999 : 80-90

48 Frank Neven , Jan Van den Bussche, Dirk Van Gucht , Gottfried Vossen : Typed Query Languages for Databases Containing Queries. Information Systems 24 (7): 569-595 (1999)

47 Serge Abiteboul , Laurent Herr , Jan Van den Bussche: Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases. JCSS 58 (1): 54-68 (1999)

46 Marc Gyssens , Jan Van den Bussche, Dirk Van Gucht : Complete Geometric Query Languages. JCSS 58 (3): 483-511 (1999)

45 Kenneth A. Ross , Surajit Chaudhuri , Gösta Grahne , H. V. Jagadish , Jan Van den Bussche, Moshe Y. Vardi : Reminiscences on Influential Papers. SIGMOD Record 28 (4): 39-41 (1999)

44 Floris Geerts , Bart Kuijpers , Jan Van den Bussche: Topological Canonization of Planar Spatial Data and Its Incremental Maintenance. FMLDO 1998 : 55-67

43 Frank Neven , Jan Van den Bussche: Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS 1998 : 11-17

42 Frank Neven , Jan Van den Bussche, Dirk Van Gucht , Gottfried Vossen : Typed Query Languages for Databases Containing Queries. PODS 1998 : 189-196

41 Jan Van den Bussche, Luca Cabibbo : Converting Untyped Formulas to Typed Ones. Acta Informatica 35 (8): 637-643 (1998)

40 Jan Paredaens , Jan Van den Bussche, Dirk Van Gucht : First-Order Queries on Finite Structures Over the Reals. SIAM J. Comput. 27 (6): 1747-1763 (1998)

39 Marc Gemis , Jan Paredaens , Peter Peelman , Jan Van den Bussche: Expressiveness and Complexity of Generic Graph Machines. Theory of Computing Systems 31 (3): 231-249 (1998)

38 Frank Neven , Jan Van den Bussche: On Implementing Structured Document Query Facilities on Top of a DOOD. DOOD 1997 : 351-367

37 Bart Kuijpers , Jan Paredaens , Jan Van den Bussche: On Topological Elementary Equivalence of Spatial Databases. ICDT 1997 : 432-446

36 Marc Gyssens , Jan Van den Bussche, Dirk Van Gucht : Complete Geometrical Query Languages. PODS 1997 : 62-67

35 Jan Van den Bussche, Dirk Van Gucht , Marc Andries , Marc Gyssens : On the Completeness of Object-Creating Database Transformation Languages. JACM 44 (2): 272-319 (1997)

34 Jan Van den Bussche, Dirk Van Gucht : A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries. JCSS 54 (1): 34-47 (1997)

33 Bart Kuijpers , Jan Paredaens , Marc Smits , Jan Van den Bussche: Termination Properties of Spatial Datalog Programs. Logic in Databases 1996 : 101-116

32 Serge Abiteboul , Laurent Herr , Jan Van den Bussche: Temporal Versus First-Order Logic to Query Temporal Databases. PODS 1996 : 49-57

31 Martin Otto , Jan Van den Bussche: First-Order Queries on Databases Embedded in an Infinite Structure. IPL 60 (1): 37-41 (1996)

30 Jan Van den Bussche, Dirk Van Gucht , Gottfried Vossen : Reflective Programming in the Relational Algebra. JCSS 52 (3): 537-549 (1996)

29 Serge Abiteboul , Jan Van den Bussche: Deep Equality Revisited. DOOD 1995 : 213-228

28 Jan Paredaens , Jan Van den Bussche, Dirk Van Gucht : First-order Queries on Finite Structures over the Reals. LICS 1995 : 79-87

27 Marc Andries , Luca Cabibbo , Jan Paredaens , Jan Van den Bussche: Applying an Update Method to a Set of Receivers. PODS 1995 : 208-218

26 Bart Kuijpers , Jan Paredaens , Jan Van den Bussche: Lossless Representation of Topological Spatial Data. SSD 1995 : 1-13

25 Serge Abiteboul , Laurent Herr , Jan Van den Bussche: Temporal Connectives versus Explicit Timestamps in Temporal Query Languages. Temporal Databases 1995 : 43-57

24 Jan Van den Bussche, Jan Paredaens : The Expressive Power of Complex Values in Object-Based Data Models. Information and Computation 120 (2): 220-236 (1995)

23 Jan Van den Bussche, Dirk Van Gucht : The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models. TCS 149 (1): 49-66 (1995)

22 Marc Gyssens , Jan Van den Bussche, Dirk Van Gucht : Expressiveness of Efficient Semi-Deterministic Choice Constructs. ICALP 1994 : 106-117

21 Jan Paredaens , Jan Van den Bussche, Dirk Van Gucht : Towards a Theory of Spatial Database Queries. PODS 1994 : 279-288

20 Marc Gyssens , Jan Paredaens , Jan Van den Bussche, Dirk Van Gucht : A Graph-Oriented Object Database Model. TKDE 6 (4): 572-586 (1994)

19 Jan Van den Bussche, Gottfried Vossen : An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries. DOOD 1993 : 267-282

18 Jan Van den Bussche, Dirk Van Gucht , Gottfried Vossen : Reflective Programming in the Relational Algebra. PODS 1993 : 17-25

17 Marc Gemis , Jan Paredaens , Inge Thyssens , Jan Van den Bussche: GOOD: AGraph-Oriented Object Database System. SIGMOD Conference 1993 : 505-510

16 Jan Van den Bussche: On Minimizing the Forall-Not Degree of a Connective-Free Formula. Acta Informatica 30 (5): 489-502 (1993)

15 Jan Van den Bussche, Andreas Heuer : Using SQL with object-oriented databases. IS 18 (7): 461-487 (1993)

14 Marc Andries , Marc Gemis , Jan Paredaens , Inge Thyssens , Jan Van den Bussche: Concepts for Graph-Oriented Object Manipulation. EDBT 1992 : 21-38

13 Jan Van den Bussche, Dirk Van Gucht : Non-Deterministic Aspects of Object-Creating Database Transformations. FMLDO 1992 : 3-16

12 Jan Van den Bussche, Dirk Van Gucht , Marc Andries , Marc Gyssens : On the Completeness of Object-Creating Query Languages (Extended Abstract). FOCS 1992 : 372-379

11 Marc Andries , Jan Paredaens , Jan Van den Bussche: A Graph- and Object-Oriented Counterpart for SQL. Future Databases 1992 : 276-285

10 Jan Van den Bussche, Dirk Van Gucht : A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992 : 326-340

9 Jan Van den Bussche, Dirk Van Gucht : Semi-determinism. PODS 1992 : 191-201

8 Jan Paredaens , Jan Van den Bussche, Marc Andries , Marc Gemis , Marc Gyssens , Inge Thyssens , Dirk Van Gucht , Vijay Sarathy , Lawrence V. Saxton : An Overview of GOOD. SIGMOD Record 21 (1): 25-31 (1992)

7 Jan Van den Bussche: Evaluation and optimization of complex object selections. DOOD 1991 : 226-243

6 Jan Van den Bussche: Active Complex Object Databases (Working Paper). FMLDO 1991 : 103-113

5 Jan Van den Bussche: Complex Object Multi-Level Fixpoint Queries. MFDBS 1991 : 1-13

4 Jan Van den Bussche, Jan Paredaens : The Expressive Power of Structured Values in Pure OODB's. PODS 1991 : 291-299

3 Andreas Heuer , Jan Van den Bussche: Using SQL with Object-Oriented Databases (Preliminary Report). FMLDO 1990 : 103-121

2 Peter Sander , Simone Rehm , Jan Van den Bussche: Working Group Report: Negation, Functions and Construction in Rule-Based Languages for Complex Objects. FMLDO 1989 : 239-253

1 Jan Paredaens , Jan Van den Bussche: TREES: A Graphical Model for Querying Hierarchical Databases. FMLDO 1989 : 37-54



























Copyright(C) 2000 ACM