(Enter summary)
Abstract: We address the following optimization problem: given a member
of a restricted class of predicate logic formulas, give all equivalent
formulas in which the number of occurring negations and universal
quantifiers is minimal. This problem has applications in the field
of nested relational databases. We present algorithms that solve the
problem and its associated decision, search and enumeration problems.
1 Introduction
In the field of databases, most research efforts were spent in the... (Update)
Active bibliography (related documents): More All
0.5: Query Optimization - Ioannidis (1996)
(Correct)
0.1: TIGUKAT: A Uniform Behavioral Objectbase Management System - Peters (1994)
(Correct)
0.1: Queries and Query Processing in Object-Oriented Database Systems - Straube (1990)
(Correct)
Similar documents based on text: More All
0.0: Implementing Garbage Collection in the PerDiS system - Xavier Blondel (1998)
(Correct)
0.0: On the Mutual Definability of Classes of Generalized Fuzzy . . . - Thiele (1998)
(Correct)
0.0: Design and Implementation of Reflective SQL (Extended.. - Dalkilic, Jain, Van.. (1996)
(Correct)
BibTeX entry: (Update)
@misc{ bussche-minimizing,
author = "Jan Van den Bussche",
title = "On Minimizing the Degree of a Formula",
url = "citeseer.ist.psu.edu/vandenbussche97minimizing.html" }
Citations (may not include all citations):
298
The object-oriented database system manifesto
- Atkinson, Bancilhon et al. - 1989
134
The relational model with relationvalued attributes (context) - Schek, Scholl - 1986
78
Nested relational structures (context) - Thomas, Fischer - 1986
7
A relational calculus with set operators (context) - Ozsoyoglu, Wang - 1989
2
a relational approach to data management (context) - Astrahan - 1976
1
Acces path selection in a relational database management sys.. (context) - Griffiths, Astrahan et al. - 1979
1
Evaluation and optimization of complex object selections
- Van den Bussche - 1991
Documents on the same site (http://alpha.luc.ac.be/~lucp1080/pubs.html): More
Topological Canonization Of Planar Spatial Data And.. - Geerts, Kuijpers.. (1999)
(Correct)
Complete Geometric Query Languages - Gyssens, Van den Bussche, Van Gucht (1999)
(Correct)
On capturing first-order topological properties of.. - Kuijpers, Van den..
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC