Article

Free access

The LyriC language: querying constraint objects

Authors:

Alexander Brodsky,

Yoram KornatzkyAuthors Info & Claims

SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data

Pages 35 - 46

https://doi.org/10.1145/223784.223788

Published: 22 May 1995 Publication History

Abstract

We propose 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 structures in one sweep. Constraints are used in a query to filter stored constraints and to create new constraint objects.

References

[1]

A. Brodsky, J. Jaffar, M.J. Maher, Toward Practical Constraint Databases. Proc. 19th International Conference on Very Large Data Bases, Dublin, 1993.

Digital Library

[2]

M. Benjamin, T. Viana, K. Corbett, A. Silva, Satisfying Multiple Rated- Constraints in a Knowledge Based Decision Aid, Proc. IEEE Conf. on Artificial Intelligence Applications, Orlando, 1993.

[3]

M. Dincbas, P. Van Hentenryck, H. Simnis, A. Aggoun, T. Graf, F. Berthier, The Constraint Logic Programming Language CHIP, Proc. Fifth Generation Computer Systems, Tokyo, Japan, 1988.

[4]

W. Chen, M. Kifer, and D.S. Warren, HiLog: A First Order Semantics for Higher-Order Logic Programming Constructs, In 2-nd lntl. Workshop on Database Programming Languages, Morgan-Kaufmann, June 1989.

[5]

H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.

[6]

R.H. Guting, GRAL: An extensible relational database system for geometric applications, Proc. 19th Symp. on Very Large Databases, 1989.

Digital Library

[7]

L.M. Haas, W.F. Cody, Exploiting extensible DBMS in integrated geographic information systems, Advances in Spatzal Databases, Proc. 2nd Symp. on Spatial Databases, Lecture Notes in Computer Science 525, Springer Verlag, Berlin, 1991.

Digital Library

[8]

M.R. I-Iansen, B.S. Hansen, P. Lucas, P. van Erode Boas, Integrating Relational Databases and Constraint Languages, Computer Languages 14, 2, 63-82, 1989.

Digital Library

[9]

J. Jaffar, J-L. Lassez, Constraint Logic Programming, Proc. Conf. on Principles of Programming Languagc~, 1987, 111-119.

Digital Library

[10]

J. Jaffar, M.J. Maher, P.J. Stuckey R.H.C. Yap, Output in CLP(T~.), Proc. Int. Conf. on F~flh Generatzon Computer Systems 1992, Tokyo, Japan, Vol. 2, 1992, 987-995.

[11]

P. Kanellakis, G. Kuper, P. Revesz, Constraint Query Languages, J. Computer and System Sciences, to appear. (A preliminary version appeared in Proc. 9th PODS, 299- 313, 1990.)

Digital Library

[12]

M. Kifer, W. Kim, Y. Sagiv. Querying object-oriented databases. In A CM SIG- MOD Intl. Conf. on Management of Data, pages 393-402, 1992.

Digital Library

[13]

Kifer, M., G. Lausen, J. Wu, "Logical Foundations of Object-Oriented and Frame-Based Languages," Technical Report ~:90/14, Department of Computer Science, SUNY at Stony Brook, August 1990. to appear in J. ACM.

Digital Library

[14]

D. Kemp, P. Stuckey, Bottom Up Constraint Logic Programming Without Constraint Solving, Technical Report, Dept. of Computer Science, University of Melbourne, 1992.

[15]

J.-L. Lassez, K. McAloon, A Canonical Form for Generalized Linear Constraints, J. Symbolic Computation, to appear.

Digital Library

[16]

A. Levy, Y. Sagiv, Constraints and Redundancy in Datalog, Proc. 11-th PODS, 67- 80, 1992.

Digital Library

[17]

I.S. Mumick, S.J. Finkelstein, H. Pirahesh, R. Ramakrishnan, Magic Conditions, Proc. 9th PODS, 314-330, 1990.

Digital Library

[18]

J.A. Orenstein, F.A. Manola, PROBE spatial data modeling and query processing in an image database application, IEEE Trans. on Software Engineering 1~, 5, pp. 611-629, 1988.

Digital Library

[19]

A. Colmerauer, An Introduction to Prolog 3, CA CM, 33:7:69-90,1990.

Digital Library

[20]

A. Schrijver, Theory of Linear and Integer Programming, Wiley 1986.

Digital Library

[21]

D. Srivastava, Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints, Annals of Mathematics and Artificial Intelligence, to appear.

[22]

D. Srivastava, R. Ramakrishnan, Pushing Constraint Selections, Proc. lIth PODS, 301-315, 1992.

Digital Library

[23]

D. Srivastava, R. Ramakrishnan, P. Revesz, "Constraint Objects", Proc. 2nd Workshop on the Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.

Digital Library

Cited By

Arinez JBiller SBrodsky AMenasce DGuodong Shao Sousa J(2011)Decision-Guided Self-Architecting Framework for integrated distribution and Energy ManagementISGT 201110.1109/ISGT.2011.5759190(1-8)Online publication date: Jan-2011
https://doi.org/10.1109/ISGT.2011.5759190
Xu ZJacobsen HChrysanthis PSamaras G(2005)Efficient constraint processing for location-aware computingProceedings of the 6th international conference on Mobile data management10.1145/1071246.1071248(3-12)Online publication date: 9-May-2005
https://dl.acm.org/doi/10.1145/1071246.1071248
Revesz P(2005)Constraint databases: A surveySemantics in Databases10.1007/BFb0035010(209-246)Online publication date: 23-Jun-2005
https://doi.org/10.1007/BFb0035010
Show More Cited By

Index Terms

The LyriC language: querying constraint objects
1. Information systems
  1. Data management systems
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query processing and optimization (theory)

Recommendations

The LyriC language: querying constraint objects

We propose 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 ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell Symposium

Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12

Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data

June 1995

508 pages

ISBN:0897917316

DOI:10.1145/223784

Editors:
Michael Carey
Univ. of Wisconsin
,
Donovan Schneider
Red Brick Systems

ACM SIGMOD Record Volume 24, Issue 2
May 1995
490 pages
ISSN:0163-5808
DOI:10.1145/568271
Issue’s Table of Contents

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 May 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGMOD/PODS95

Sponsor:

SIGMOD/PODS95: Joint ACM SIGMOD Intl Conference on Management of Data and ACM SIGACT-SIGMOD- SIGART Symposium on Principles of Database Systems

May 22 - 25, 1995

California, San Jose, USA

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
390
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)9

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Arinez JBiller SBrodsky AMenasce DGuodong Shao Sousa J(2011)Decision-Guided Self-Architecting Framework for integrated distribution and Energy ManagementISGT 201110.1109/ISGT.2011.5759190(1-8)Online publication date: Jan-2011
https://doi.org/10.1109/ISGT.2011.5759190
Xu ZJacobsen HChrysanthis PSamaras G(2005)Efficient constraint processing for location-aware computingProceedings of the 6th international conference on Mobile data management10.1145/1071246.1071248(3-12)Online publication date: 9-May-2005
https://dl.acm.org/doi/10.1145/1071246.1071248
Revesz P(2005)Constraint databases: A surveySemantics in Databases10.1007/BFb0035010(209-246)Online publication date: 23-Jun-2005
https://doi.org/10.1007/BFb0035010
Kuijpers BParedaens JVandeurzen L(2005)Semantics in spatial databasesSemantics in Databases10.1007/BFb0035007(114-135)Online publication date: 23-Jun-2005
https://doi.org/10.1007/BFb0035007
Levy ASingh Mumick I(2005)Reasoning with aggregation constraintsAdvances in Database Technology — EDBT '9610.1007/BFb0014176(514-534)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0014176
Chomicki JRevesz P(2005)Constraint-based interoperability of spatiotemporal databasesAdvances in Spatial Databases10.1007/3-540-63238-7_28(142-161)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-63238-7_28
Belussi ABertino ECatania B(2005)Manipulating spatial data in constraint databasesAdvances in Spatial Databases10.1007/3-540-63238-7_27(113-141)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-63238-7_27
Bressan SSexton AWallace M(2005)Implementing index data structures using constraint logic programmingConstraint Databases and Applications10.1007/3-540-62501-1_39(294-301)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62501-1_39
Alagić S(2005)A temporal constraint system for object-oriented databasesConstraint Databases and Applications10.1007/3-540-62501-1_33(208-218)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62501-1_33
Brodsky ASegal V(2005)The C 3 constraint object-oriented database system: An overviewConstraint Databases and Applications10.1007/3-540-62501-1_30(134-159)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62501-1_30
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents