article

Free access

Second-order signature: a tool for specifying data models, query processing, and optimization

Author:

Ralf Hartmut GütingAuthors Info & Claims

ACM SIGMOD Record, Volume 22, Issue 2

Pages 277 - 286

https://doi.org/10.1145/170036.170079

Published: 01 June 1993 Publication History

PDF eReader

References

[1]

Abiteboul, S., and C. Beeri, On the Power of Languages for the Manipulation of Complex Objects. Technical Report 846, INRIA (Paris), 1988.

Google Scholar

[2]

Abiteboul, S., and R. Hull, IFO: A Formal Semantic Database Model. Proc. ACM Conf. on Principles of Database Systems, 1984, 119-132.

Digital Library

Google Scholar

[3]

Bancilhon, F., and S. Khoshafian, A Calculus for Complex Objects. Proc. ACM Symposium on Principles of Database Systems (Cambridge, Mass.), 1986, 53-59.

Digital Library

Google Scholar

[4]

Batory, D.S., J.R. Barnett, J.F. Garza, K.P. Smith, K. Tsukuda, B.C. Twichell, and T.E. Wise, GENESIS: An Extensible Database Management System. IEEE Trans. on Software Engineering 14 (1988), 1711-1730.

Digital Library

Google Scholar

[5]

Becker, L., and R.H. Gtlting, Rule-Based Optimization and Query Processing in an Extensible Geometric Database System. A CM Transactions on Database Systems 17 (1992), 247-303.

Digital Library

Google Scholar

[6]

Buneman, P., and A. Ohori, A Type System that Reconciles Classes and Extents. Proc. 3rd Int. Workshop on Database Programming Languages (Nafplion, Greece), 1991, 191-202.

Digital Library

Google Scholar

[7]

Bruce, K.B., and P. Wegner, An Algebraic Model of Subtypes in Object-Oriented Languages. SIGPLAN Notices 21 (1986), 163-172.

Digital Library

Google Scholar

[8]

Cardelli, L., A Semantics of Multiple Inheritance. Symposium on the Semantics of Data Types (LNCS 173), 1984, 131-144.

Digital Library

Google Scholar

[9]

Cardelli, L., Types for Data-Oriented Languages. Proc, Int. Conf. on Extending Data Base Technology (LNCS 303), 1988, 1-15.

Digital Library

Google Scholar

[10]

Cardelli, L., Typeful Programming. SRC Report '45, Digital Equipment Corporation, Palo Alto, CA, 1989.

Google Scholar

[11]

Cardelli, L., and G. Longo, A Semantic Basis for Quest. Proc. ACM Conf. on LISP and Functional Programming, 1990, 30-43.

Digital Library

Google Scholar

[12]

Cardelli, L., and P. Wegner, On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys 17 (1985), 471-522.

Digital Library

Google Scholar

[13]

Cruz, I.F., A.O. Mendelzon, and P.T. Wood, A Graphical Query Language Supporting Recursion. Proc. ACM SIGMOD 1987, 323-330.

Digital Library

Google Scholar

[14]

Ehrich, H.D., M. Gogolla, and U.W. Lipeck, Algebraische Spezifikation abstrakter Datentypen. Teubner, Stuttgart, 1989.

Crossref

Google Scholar

[15]

Ehrig, H., and B. Mahr, Fundamentals of Algebraic Specification I. Springer, Berlin, 1985.

Digital Library

Google Scholar

[16]

Erwig, M., and R.H. Gt#ting, Explicit Graphs in a Functional Model for Spatial Databases. FernUniversitat Hagen, Informatik-Report 110, 1991.

Google Scholar

[17]

Girard, J.Y, interpretation fonctionelle et #limination des coupures de l'arithm&ique d'ordre sup#rieur. Ph.D. Thesis, Universit6 Paris VII, 1972.

Google Scholar

[18]

Graefe, G., and D.J. DeWitt, The EXODUS Optimizer Generator. Proc. ACM SIGMOD 1987, 160-172.

Digital Library

Google Scholar

[19]

Gtlting, R.H., Gral: An Extensible Relational Database System for Geometric Applications. Proc. of the 15th Intl. Conf. on Very Large Data Bases, 1989, 33-44.

Digital Library

Google Scholar

[20]

Gttting, R.H., R. Zicari, and D.M. Choy, An Algebra for Structured Office Documents. ACM Transactions on Information Systems 7 (1989), 123-157.

Digital Library

Google Scholar

[21]

Gyssens, M., J. Paredaens, and D. van Gucht, A Graph-Oriented Object Database Model. Proc. ACM Conf. on Principles of Database Systems 1990, 417-424.

Digital Library

Google Scholar

[22]

Haas, L.M., J.C. Freytag, G.M. Lohman, and H. Pirahesh, Extensible Query Processing in Starburst. Proc. ACM SIGMOD 1989, 377-388.

Digital Library

Google Scholar

[23]

Henrich, A., H.-W. Six, and P, Widmayer, The LSD Tree: Spatial Access to Multidimensional Point- and Non- Point-Objects. Proc. Intl. Conf. on Very Large Data Bases 1989, 45-53.

Digital Library

Google Scholar

[24]

Leszczylowski, J., and M. Wirsing, Polymorphism, Parameterization, and Typing: An Algebraic Specification Perspective. Proc. Symposium on Theoretical Aspects of Computer Science (LNCS 480), 1991, 1-15.

Digital Library

Google Scholar

[25]

Lomet, D., A Review of Recent Work on Multiattribute Access Methods. ACM SIGMOD Record 21 (1992), 56-63.

Digital Library

Google Scholar

[26]

McCracken, N., An Investigation of a Programming Language with a Polymorphic Type Structure. Ph.D. Thesis, Syracuse University, 1979.

Digital Library

Google Scholar

[27]

Milner, R., A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences 17 (1978), 348-375.

Crossref

Google Scholar

[28]

Mitchell, J.C., Type Systems for Programming Languages. In: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B" Formal Models and Semantics, Elsevier, 1990, 365-458.

Digital Library

Google Scholar

[29]

Ohori, A., Semantics of Types for Database Objects. Proc. Int. Conf. on Database Theory 1988, 239-251.

Digital Library

Google Scholar

[30]

Ohori, A., and P. Buneman, Type Inference in a Database Programming Language. Proc. ACM Conf. on LISP and Functional Programming, 1988.

Digital Library

Google Scholar

[31]

Ohori, A., P. Buneman, and V. Breazu-Tannen, Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. Proc. ACM SIGMOD 1989, 46-57.

Digital Library

Google Scholar

[32]

Reynolds, J.C., Towards a Theory of Type Structure. Programming Symposium, Paris (LNCS 19), 1974, 408-425.

Digital Library

Google Scholar

[33]

Schek, H.J., H.B. Paul, M.H. Scholl, and G. Weikum, The DASDBS Project: Objectives, Experiences, and Future Prospects. IEEE Transactions on Knowledge and Data Engineering 2 (1990), 25-43.

Digital Library

Google Scholar

[34]

Schek, H.J., and M.H. Scholl, From Relations and Nested Relations to Object Models. In: M.S. Jackson and A.E. Robinson (eds.), Aspects of Databases. Proc. of the 9th British National Conf. on Databases, Wolverhampton 1991, 202-225.

Google Scholar

[35]

Scholl, M.H., and H.J. Schek, A Relational Object Model. Proc. Int. Conf. on Database Theory, Paris, France, 1990, 89-105.

Digital Library

Google Scholar

[36]

Shaw, G.M., and S.B. Zdonik, An Object-Oriented Query Algebra. Proc. 2nd int. Workshop on Database Programming Languages, 1989, 103-112.

Digital Library

Google Scholar

[37]

Stemple, D., L. Fegaras, T. Sheard, and A. Socorro, Exceeding the Limits of Polymorphism in Database Programming Languages. Proc. Int. Conf. on Extending Data Base Technology (LNCS 416), 1990, 269-285.

Digital Library

Google Scholar

[38]

Stonebraker, M., and L.A. Rowe, The Design of POSTGRES. Proc. ACM SIGMOD 1986, 340-355.

Digital Library

Google Scholar

[39]

Vandenberg, S.L., and D.I. DeWitt, Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance. Proc. ACM SIGMOD 1991, 158-167.

Digital Library

Google Scholar

Cited By

View all

Güting RBehr TNidzwetzki J(2021)Distributed rrays: an algebra for generic distributed query processingDistributed and Parallel Databases10.1007/s10619-021-07325-2Online publication date: 5-Apr-2021
https://doi.org/10.1007/s10619-021-07325-2
Shengnan GJianqiu XTao S(2020)VTGeo: A Visualization Tool for Geospatial Data2020 5th International Conference on Mechanical, Control and Computer Engineering (ICMCCE)10.1109/ICMCCE51767.2020.00510(2361-2364)Online publication date: Dec-2020
https://doi.org/10.1109/ICMCCE51767.2020.00510
Ma ZBai LYan LMa ZBai LYan L(2020)Fuzzy Spatiotemporal Data Modeling and Operations in XMLModeling Fuzzy Spatiotemporal Data with XML10.1007/978-3-030-41999-8_4(79-100)Online publication date: 5-Mar-2020
https://doi.org/10.1007/978-3-030-41999-8_4
Show More Cited By

Index Terms

Recommendations

Second-order signature: a tool for specifying data models, query processing, and optimization
SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A short redactable signature scheme using pairing

Redactable signature schemes permit deletion of arbitrary substrings of a signed document while preserving the authenticity of the remaining document. Most of known redactable signatures based on pairing have large-sized signatures and the sizes depend ...
An Identity Based Proxy Signature Scheme Secure in the Standard Model
GRC '10: Proceedings of the 2010 IEEE International Conference on Granular Computing

Identity-based proxy signature scheme is a special identity-based public key cryptography. In 2005, Gu and Zhu showed how to construct an identity-based proxy signature scheme from any secure identity-based signature scheme, but this construction need ...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 22, Issue 2

June 1, 1993

558 pages

ISSN:0163-5808

DOI:10.1145/170036

Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia,
Won Kim
UniSQL, Inc., Austin, TX

Issue’s Table of Contents

SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
June 1993
566 pages
ISBN:0897915925
DOI:10.1145/170035
Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Published in SIGMOD Volume 22, Issue 2

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
609
Total Downloads

Downloads (Last 12 months)86
Downloads (Last 6 weeks)15

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Güting RBehr TNidzwetzki J(2021)Distributed rrays: an algebra for generic distributed query processingDistributed and Parallel Databases10.1007/s10619-021-07325-2Online publication date: 5-Apr-2021
https://doi.org/10.1007/s10619-021-07325-2
Shengnan GJianqiu XTao S(2020)VTGeo: A Visualization Tool for Geospatial Data2020 5th International Conference on Mechanical, Control and Computer Engineering (ICMCCE)10.1109/ICMCCE51767.2020.00510(2361-2364)Online publication date: Dec-2020
https://doi.org/10.1109/ICMCCE51767.2020.00510
Ma ZBai LYan LMa ZBai LYan L(2020)Fuzzy Spatiotemporal Data Modeling and Operations in XMLModeling Fuzzy Spatiotemporal Data with XML10.1007/978-3-030-41999-8_4(79-100)Online publication date: 5-Mar-2020
https://doi.org/10.1007/978-3-030-41999-8_4
Liang QNittel SHahmann T(2016)From Data Streams to Fields: Extending Stream Data Models with Field Data TypesGeographic Information Science10.1007/978-3-319-45738-3_12(178-194)Online publication date: 14-Sep-2016
https://doi.org/10.1007/978-3-319-45738-3_12
Galić ZGalić Z(2016)Spatio-Temporal Continuous QueriesSpatio-Temporal Data Streams10.1007/978-1-4939-6575-5_2(17-45)Online publication date: 27-Aug-2016
https://doi.org/10.1007/978-1-4939-6575-5_2
Sakr MGüting R(2014)Group spatiotemporal pattern queriesGeoinformatica10.1007/s10707-013-0198-718:4(699-746)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1007/s10707-013-0198-7
Behr TGüting R(2010)User defined topological predicates in database systemsGeoinformatica10.1007/s10707-008-0075-y14:1(23-53)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1007/s10707-008-0075-y
Güting RBöhlen MErwig MJensen CLorentzos NNardelli ESchneider MViqueira J(2003)Chapter 4: Spatio-temporal Models and Languages: An Approach Based on Data TypesSpatio-Temporal Databases10.1007/978-3-540-45081-8_4(117-176)Online publication date: 2003
https://doi.org/10.1007/978-3-540-45081-8_4
Voisard ADavid B(2002)A Database Perspective on Geospatial Data ModelingIEEE Transactions on Knowledge and Data Engineering10.1109/69.99171414:2(226-243)Online publication date: 1-Mar-2002
https://dl.acm.org/doi/10.1109/69.991714
Güting RDieker SFreundorfer CBecker LSchenk H(2002)SECONDO/QP: Implementation of a Generic Query ProcessorDatabase and Expert Systems Applications10.1007/3-540-48309-8_7(66-87)Online publication date: 18-Jun-2002
https://doi.org/10.1007/3-540-48309-8_7
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations