Abstract

Datalog is the language of deductive databases, a first step towards intelligent relational databases. TwoGroups is a database of p-groups, primarily the groups of order dividing 28, which has seen actually use by research mathematicians. TwoGroups was originally developed on the NU-Prolog platform. We report on our efforts to implement a Datalog interpreter in C++, and to implement TwoGroups in C++ on top of the Datalog platform. Although TwoGroups is very relational in style, its use of range queries means that Datalog is not the perfect platform on which to implement TwoGroups. However, TwoGroups can directly utilise the multi-attribute retrieval algorithms within the Datalog implementation which do support range queries.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.L. Bentley, Multidimensional binary search trees used for associative searching, CACM 18, 9 (September 1975) 509–517.Google Scholar
  2. 2.
    J.L. Bentley, Multidimensional binary search trees in database applications, IEEE Trans. Software Eng. SE-5, 4 (July 1979) 333–340.Google Scholar
  3. 3.
    G. Butler & John Cannon, Cayley, version 4: the user language, ISSAC'88, (Proceedings of 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 4–8), Lecture Notes in Comput. Sci. 358, 456–466, Springer-Verlag, Berlin, 1989.Google Scholar
  4. 4.
    G. Butler and S.S. Iyer, An experimental knowledge base of simple groups, submitted.Google Scholar
  5. 5.
    G. Butler, S.S. Iyer & E.A. O'Brien, A database of groups of prime-power order, The Australian National University, Mathematics Research Report 021-92, 1992.Google Scholar
  6. 6.
    G. Butler, S.S. Iyer & E.A. O'Brien, TwoGroups: a database for group theory, The Australian National University, Mathematics Research Report 005-93, 1993. (also Notices of the AMS 40, 7 (September 1993) 839–841).Google Scholar
  7. 7.
    Stefano Ceri, Georg Gottlobb, Letizia Tanca, What you always wanted to know about Datalog (and never dared ask), IEEE Trans. KDE 1, 1 (March 1989) 146–166.Google Scholar
  8. 8.
    Alain CoËtmeur (1993), Bison ++, Flex ++, coetmeur@icdc.fr.Google Scholar
  9. 9.
    Charles Donnelly and Richard Stallman (1992), Bison: The YACC-compatible Parser Generator, Free Software Foundation.Google Scholar
  10. 10.
    Ramez Elmasri, Shamkant B. Navathe, Fundamentals of Database Systems, Benjamins/Cummings Inc., Redwood City, California, 1989.Google Scholar
  11. 11.
    Michael J. Folk and Bill Zoellick, File Structures, 2nd edition, Addison-Wesley, 1992, (xviii)+590 pages.Google Scholar
  12. 12.
    Michael W. Freeston, The BANG file: a new kind of grid file, Proc ACM SIGMOD Conference, San Francisco, 1987, pp.260–269.Google Scholar
  13. 13.
    M.W. Freeston, Advances in the design of the BANG file, in Foundations of Data Organisation and Algorithms, (Proc. 3rd International Conference on Foundations of Data Organisation and Algorithms, Paris, France, June 21–23, 1989), W. Litwin and H.-J. Schek (eds), Lecture Notes in Comput. Sci. 369, Springer-Verlag, Berlin, 1989, pp. 322–338.Google Scholar
  14. 14.
    Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides, Design patterns: Abstraction and reuse of object-oriented design, ECOOP'93, O.M. Nierstrasz (ed.), Lecture Notes in Computer Science 707, Springer-Verlag, 1993, 406–431.Google Scholar
  15. 15.
    Scott Robert Ladd, C++ Components and Algorithms, M&T Publishing, San Mateo, CA, 1992, (xv)+779 pages.Google Scholar
  16. 16.
    M. E. Lesk and E. Schmidt, Lex — A Lexical Analyzer Generator, Bell Laboratories, Murray Hill, New Jersey 07974.Google Scholar
  17. 17.
    D.B. Lomet and B. Salzberg, The hB-tree: a multiattribute indexing method with good guaranteed performance, ACM TODS 15, 1 (1990) 625–658.CrossRefGoogle Scholar
  18. 18.
    David Maier and David S. Warren, Computing with Logic, The Benjamin/Cummings Publishing Company, Inc, 1988.Google Scholar
  19. 19.
    Y. Nahamura, S. Abe, Y. Oshawa, M. Sakauchi, A balanced hierarchical data structure for multi-dimensional data with highly efficient dynamic characteristics, IEEE Trans. KDE 5, 4 (August 1993) 682–694. (Special Issue on Multimedia Information Systems)Google Scholar
  20. 20.
    J. Nievergelt, H. Hintenberger, K.C. Sevcik, The grid file: implementation and case studies of applications, Internal Report No. 46, Institut fuer Informatik, ETH Zuerich, December 1981.Google Scholar
  21. 21.
    J. Nievergelt, H. Hintenberger, K.C. Sevcik, The grid file: an adaptable, symmetric multikey file structure, ACM TODS 9, 1 (1984) 38–71.CrossRefGoogle Scholar
  22. 22.
    E.A. O'Brien, The p-group generation algorithm, J. Symbolic Comput., 9, 677–698.Google Scholar
  23. 23.
    Vern Paxson, Flex — Fast Lexical Analyzer Generator, Lawrence Berkeley Laboratories, University of California.Google Scholar
  24. 24.
    K. Ramamohanarao, J. Shepherd, I. Balbin, G. Port, L. Naish, J. Thom, J. Zobel and P. Dart, An overview of the NU-Prolog deductive database system, in Prolog and Databases, P.M.D. Gray and R.J. Lucas (Eds.), pp. 212–250. Ellis Horwood, 1988.Google Scholar
  25. 25.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorenson, Object-Oriented Modelling and Design, Prentice Hall, 1991.Google Scholar
  26. 26.
    R. Sacks-Davis, A. Kent, and K. Ramamohanarao, Multikey access methods based on superimposed coding techniques. ACM Trans. Database Systems 12, 4 (1987) pp. 655–696.CrossRefGoogle Scholar
  27. 27.
    John Andrew Shepherd, Indexing Schemes and File Organisations for the NU-Prolog Deductive Database System. Ph.D. Thesis, University of Melbourne, 1989.Google Scholar
  28. 28.
    Bjarne Stroustrup, The C++ Programming Language, 2nd edition Addison-Wesley, 1991.Google Scholar
  29. 29.
    Jeffrey D. Ullman, Principles of Database and Knowledge-base systems, Volume I, Computer Science Press, Inc., Rockville, Madison, 1988.Google Scholar
  30. 30.
    Jeffrey D. Ullman, Principles of Database and Knowledge-base systems, Volume II, Computer Science Press, Inc., Rockville, Madison, 1989.Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Greg Butler
    • 1
  1. 1.Centre Interuniversitaire en Calcul Mathématique Algébrique Department of Computer ScienceConcordia UniversityMontrealCanada

Personalised recommendations