## The LyriC Language: Querying Constraint Objects (1994)

Venue: | In Proceedings of the ACM SIGMOD International Conference on Management of Data |

Citations: | 24 - 2 self |

### BibTeX

@INPROCEEDINGS{Brodsky94thelyric,

author = {Alexander Brodsky and Yoram Kornatzky},

title = {The LyriC Language: Querying Constraint Objects},

booktitle = {In Proceedings of the ACM SIGMOD International Conference on Management of Data},

year = {1994},

pages = {35--46}

}

### Years of Citing Articles

### OpenURL

### Abstract

Proposed in this paper is a novel data model and its language for querying object-oriented databases where objects may hold spatial, temporal or constraint data, conceptually represented by linear equality and inequality constraints. The proposed LyriC language is designed to provide a uniform and flexible framework for diverse application realms such as (1) constraint-based design in two-, three-, or higher-dimensional space, (2) large-scale optimization and analysis, based mostly on linear programming techniques, and (3) spatial and geographic databases. LyriC extends flat constraint query languages, especially those for linear constraint databases, to structurally complex objects. The extension is based on the object-oriented paradigm, where constraints are treated as first-class objects that are organized in classes. The query language is an extension of the language XSQL, and is built around the idea of extended path expressions. Path expressions in a query traverse nested struct...

### Citations

810 | Logical Foundations of Object-Oriented and FrameBased Languages
- Kifer, Lausen, et al.
- 1995
(Show Context)
Citation Context ...ate them into SQL with linear constraints [BJM93]. Note that the definition of a database in LyriC as a general structure (see section 3.2) means that it is essentially a collection of flat relations =-=[KLW90]-=-. These represent the extent of classes and the mapping used to represent attributes. We assume in the translation that methods are not employed in queries as they provide unlimited computational powe... |

632 |
A Mathematical Introduction to Logic
- Enderton
- 1972
(Show Context)
Citation Context ...oids to infinite collections of points which represent the appropriate CST object. Thus, the semantics of CST objects which are higherorder objects, is defined based on the idea of general structures =-=[End72]-=-, as in the whole family of F-logic languages. CST objects are organized into CST classes according to their dimension. The CST superclasses define polymorphic operations on CST objects. These are the... |

469 | Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs - Backus - 1978 |

462 | Introduction to Object-Oriented Databases
- Kim
- 1990
(Show Context)
Citation Context ...aints databases [KKR93, BJM93], have the same problems in supporting complex spatio-temporal applications that standard relational systems have [KLW90]. The LyriC query language is a superset of XSQL =-=[KKS92]-=-, suggested by Kifer, Kim and Sagiv, as an extension of SQL to object-oriented databases, and is built around the idea of extended path expressions. These traverse complex nested structures by specify... |

353 | Constraint query languages
- Kanellakis, Kuper, et al.
- 1995
(Show Context)
Citation Context ... are used in order to allow for the possibility of jointly constraining different attributes when they are operated on together by constraint operations. LyriC extends flat constraint query languages =-=[KKR93]-=-, especially those for linear constraint databases [BJM93], by incorporating constraints as a basic tool for describing spatio-temporal information in constraint databases. The LyriC model treats each... |

296 | Object identity as a query language primitive - Abiteboul, Kanellakis - 1989 |

251 | Objects and views - Abiteboul, Bonner - 1991 |

106 | PROBE: Spatial Data Modeling and Query Processing in an Image Database Application - Orenstein, Manola - 1988 |

70 | Handling Infinite Temporal Data - Kabanza, Stevenne, et al. - 1990 |

66 | An efficient symbolic representation of periodic time - Niezette, Stevenne - 1992 |

55 |
Formal models for object-oriented databases
- Beeri
- 1989
(Show Context)
Citation Context ...r-dimensional space, (2) large-scale optimization and analysis, based mostly on linear programming techniques, and (3) spatial and geographic databases. LyriC is based on the object-oriented paradigm =-=[BEER89]-=- by treating constraints as first-class objects with a logical object identity. The meaning of such objects is maintained by including the mapping from a constraint object (identity) into the infinite... |

55 | A logic for object-oriented logic programming (Maier’s O-logic: Revisited - Kifer, Wu - 1989 |

54 | A New Approach to Database Logic - Kuper, Vardi - 1984 |

48 | Algebraic optimization of object-oriented query languages - Beeri, Kornatzky - 1990 |

43 | On the representation of infinite temporal data and queries - Baudinet, Niézette, et al. - 1991 |

42 | Gral: An Extensible Relational Database System for Geometric Applications - Güting - 1989 |

36 | Subsumption and indexing in constraint query languages with linear arithmetic constraints
- SRIVASTAVA
- 1992
(Show Context)
Citation Context ...ce and time. In the class of linear arithmetic constraints, there are many plausible canonical forms. However, they can be costly to compute. Detecting redundant disjuncts is a co-NP-complete problem =-=[Sri92]-=-, so we will perform only two simplifications of disjunctions: the deletion of each inconsistent disjunct and the deletion of syntactic duplicates. Similarly, while it is theoretically possible to eli... |

35 |
Toward practical constraint databases
- BRODSKY, JAFFAR, et al.
- 1993
(Show Context)
Citation Context ... constraining different attributes when they are operated on together by constraint operations. LyriC extends flat constraint query languages [KKR93], especially those for linear constraint databases =-=[BJM93]-=-, by incorporating constraints as a basic tool for describing spatio-temporal information in constraint databases. The LyriC model treats each constraint object separately, instead of viewing each con... |

35 | CLP(%2) and some electrical engineering problems - Heintze, Michaylov, et al. - 1987 |

29 | Constraint objects
- SRIVASTAVA, RAMAKRISHNAN, et al.
- 1994
(Show Context)
Citation Context ...lving constraints. The work [BJM93] introduced Linear Constraint Databases, concentrating on their optimization, and proposed a new generic optimization framework. Srivastava, Ramakrishnan and Revesz =-=[SRR94]-=- have proposed an integration of constraints into an object-oriented data model. They suggest that attributes whose values are only partially known to be specified using constraints. In contrast, in o... |

21 | Exploiting Extensible DBMS in Integrated Geographic Information Systems - Haas, Cody - 1991 |

9 | HiLog: A first order semantics for higher-order logic programming - en, Kifer, et al. - 1989 |

4 |
Satisfying Multiple Rated-Constraints in a Knowledge Based Decision Aid
- Benjamin, Viana, et al.
- 1993
(Show Context)
Citation Context ...poral objects with a single implementation of linear constraint technology. Also, in many applications, CST-objects are more intuitively described as constraints (e.g. submarine maneuver decision aid =-=[BVCS93]-=-). A flexible representation of spatio-temporal relationships using linear constraints enables a combination of a number of layers of CST-objects based on different coordinate systems in the same quer... |

4 | Handling in nite temporal data - Kabanza, Stevenne, et al. - 1990 |

3 | Bottom Up Constraint Logic Programming Without Constraint Solving - Kemp, Stuckey - 1992 |

3 | An Introduction to Prolog 3 - Colmerauer |

3 | An e cient symbolic representation of periodic time - Niezette, Stevenne - 1992 |

1 | On the representation of in nite temporal data and queries - Baudinet, Niezette, et al. - 1991 |