| Imielinski, T., Naqvi, S., and Vadaparty, K. Querying Designing and Planning Databases. In Proceedings of the Second International Conference on Deductive Object-Oriented Databases, pages 524--545, Munich, Germany, December 1991. |
....as constants. Intuitively, an OR database represents several possible worlds, or models, each obtained by replacing every OR object by one of the choices it represents. Incomplete information of this sort arises in database applications involving planning, scheduling and design, as discussed in [5, 6]. Closely related to OR objects are the domain variables of logic programs with finite constraints [13] We say that a query (a closed formula of first order logic) is a consequence of an OR database in case it holds in all models of the database. This is the standard query modality studied in ....
....the same query as the database varies. Unfortunately, the need to consider many possible worlds, instead of a single possible world, as 1 However, other query modalities are also of interest in OR databases. For example, one may wish to know whether a query is true in some model of the database [6]. 5 in the case of relational databases, makes even simple queries intractable in OR databases. For example, as we show in this paper, the data complexity of the query Phi j 9x[P (x) Q(x) with respect to OR databases is co NP complete. Thus, the data complexity of even conjunctive queries ....
Imielinski, T., Naqvi, S., and Vadaparty, K. Querying Designing and Planning Databases. In Proceedings of the Second International Conference on Deductive Object-Oriented Databases, pages 524--545, Munich, Germany, December 1991.
....languages and what needs to be done to expand this range; also, very few of these fifty languages extend beyond relational model 1 . Aside from these, a number of non visual (declarative) formal languages were also proposed [CKW89, KL89, Cru92, Cru89, LO91, KKS92, OW89, BNST91, Kup90, Hul87, INV91] and recently one of these [KL89] is extended into a visual language[Cru92] see Section 8 for a discussion on the limitations of the few visual languages developed for object oriented databases. We believe that there is a strong need to synthesize the efforts in visual querying to develop a ....
Imielinski, T., Naqvi, S., and Vadaparty, K. Querying Designing and Planning Databases. In Proceedings of the Second International Conference on Deductive Object-Oriented Databases, Munich, Germany, December 1991.
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