HYPERSET/WEB-LIKE DATABASES AND THE EXPERIMENTAL IMPLEMENTATION OF THE QUERY LANGUAGE DELTA - Current State of Affairs

Richard Molyneux, Vladimir Sazonov

2007

Abstract

The hyperset approach to WEB-like or semistructured databases is outlined. WDB is presented either (i) as a finite edge-labelled graph or, equivalently, (ii) as system of (hyper)set equations or (iii) in a special XML-WDB format convenient both for distributed WDB and for including arbitrary XML elements in this framework. The current state of affairs on experimental implementation of a query language  (Delta) to such databases—the main result of this paper—is described, with consideration of further implementation work to be done.

References

  1. Abiteboul, S., Buneman, P., and Suciu, D. (2000). Data on the Web - From Relations to Semi-structured Data and XML. Morgan Kaufmann Publishers, San Francisco, California.
  2. Abiteboul, S., Quass, D., McHugh, J., Widom, J., and Wiener, J. L. (1997). The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68-88.
  3. Aczel, P. (1988). Non-Well-Founded Sets. CSLI, Stanford, CA.
  4. Barwise, J. (1975). Springer, Berlin.
  5. Barwise, J. and Moss, L. (1996). Vicious circles: on the mathematics of non-wellfounded phenomena. Center for the Study of Language and Information.
  6. Buneman, P., Fernandez, M., and Suciu, D. (2000). UnQL: a query language and algebra for semistructured data based on structural recursion. The VLDB Journal, 9(1):76-110.
  7. Codd, E. F. (1983). A relational model of data for large shared data banks. Communications of the ACM, 26(1):64-69.
  8. Dahlhaus, E. and Makowsky, J. A. (1986). The choice of programming primitives for SETL-like programming languages. In ESOP'86, LNCS 213, pages 160-172.
  9. Dahlhaus, E. and Makowsky, J. A. (1992). Query languages for hierarchic databases. Information and Computation, 101:1-32.
  10. Delta-WDB Site (2007). http://www.csc.liv.ac.uk/ ˜molyneux/ICSOFT2007appendix/.
  11. Leontjev, A. and Sazonov, V. (2001). ?: Set-theoretic query language capturing logspace. Annals of Mathematics and Artificial Intelligence, 33:309-345.
  12. Lisitsa, A. and Sazonov, V. (1999). Linear ordering on graphs, anti-founded sets and polynomial time computability. Theoretical Computer Science, 224(1- 2):173-213.
  13. Lisitsa, A. and Sazonov, V. Y. (1997). Bounded hyperset theory and web-like data bases. In Proceedings of the Kurt Goedel Colloquium (KGC 1997), volume 1234, pages 178-188.
  14. McHugh, J., Abiteboul, S., Goldman, R., Quass, D., and Widom, J. (1997). Lore: A database management system for semistructured data. SIGMOD Record, 26(3):54-66.
  15. Sazonov, V. Y. (1987). Bounded set theory, polynomial computability and ?-programming. In Lect. Not. Comput. Sci., volume 278, pages 391-397.
  16. Sazonov, V. Y. (1993). Hereditarily-finite sets, data bases and polynomial-time computability. Theoretical Computer Science, 119(1):187-214.
  17. Sazonov, V. Y. (2001). Using agents for concurrent querying of web-like databases via a hyperset-theoretic approach. In PSI 7802: 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pages 378-394, London, UK. SpringerVerlag.
  18. Sazonov, V. Y. (2006). Querying hyperset / Web-like databases. Logic Journal of the IGPL, 14(5):785-814.
Download


Paper Citation


in Harvard Style

Molyneux R. and Sazonov V. (2007). HYPERSET/WEB-LIKE DATABASES AND THE EXPERIMENTAL IMPLEMENTATION OF THE QUERY LANGUAGE DELTA - Current State of Affairs . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT, ISBN 978-989-8111-07-4, pages 29-37. DOI: 10.5220/0001343200290037


in Bibtex Style

@conference{icsoft07,
author={Richard Molyneux and Vladimir Sazonov},
title={HYPERSET/WEB-LIKE DATABASES AND THE EXPERIMENTAL IMPLEMENTATION OF THE QUERY LANGUAGE DELTA - Current State of Affairs},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT,},
year={2007},
pages={29-37},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001343200290037},
isbn={978-989-8111-07-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT,
TI - HYPERSET/WEB-LIKE DATABASES AND THE EXPERIMENTAL IMPLEMENTATION OF THE QUERY LANGUAGE DELTA - Current State of Affairs
SN - 978-989-8111-07-4
AU - Molyneux R.
AU - Sazonov V.
PY - 2007
SP - 29
EP - 37
DO - 10.5220/0001343200290037