Premium
A database of groups of prime‐power order
Author(s) -
Butler G.,
Iyer S. S.,
O'brien E. A.
Publication year - 1994
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380241004
Subject(s) - prolog , computer science , notation , programming language , set (abstract data type) , prime (order theory) , database , representation (politics) , query language , deductive database , database theory , database design , theoretical computer science , mathematics , arithmetic , combinatorics , political science , politics , law
The design, implementation and performance of TwoGroups , a deductive database for the 58,761 groups of order 2 n , (n ≤ 8), is described. The system is implemented in NU‐Prolog , a Prolog system with built‐in functions for creating and using deductive databases. TwoGroups has a set‐theoretic query language, which provides users with a familiar notation to access the data. The paper describes the data and its representation, the set‐theoretic query language, its translator and optimiser, and the experiments on the performance of the database.