{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T16:11:35Z","timestamp":1698250295107},"reference-count":24,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4412,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The design, implementation and performance of <jats:italic>TwoGroups<\/jats:italic>, a deductive database for the 58,761 groups of order 2<jats:sup>n<\/jats:sup>, (n \u2264 8), is described. The system is implemented in <jats:italic>NU\u2010Prolog<\/jats:italic>, a Prolog system with built\u2010in functions for creating and using deductive databases. TwoGroups has a set\u2010theoretic query language, which provides users with a familiar notation to access the data. The paper describes the data and its representation, the set\u2010theoretic query language, its translator and optimiser, and the experiments on the performance of the database.<\/jats:p>","DOI":"10.1002\/spe.4380241004","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:53:31Z","timestamp":1163782411000},"page":"911-951","source":"Crossref","is-referenced-by-count":0,"title":["A database of groups of prime\u2010power order"],"prefix":"10.1002","volume":"24","author":[{"given":"G.","family":"Butler","sequence":"first","affiliation":[]},{"given":"S. S.","family":"Iyer","sequence":"additional","affiliation":[]},{"given":"E. A.","family":"O'brien","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"212","volume-title":"Prolog and Databases","author":"Ramamohanarao K.","year":"1988"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/32204.32222"},{"key":"e_1_2_1_4_2","unstructured":"John AndrewShepherd. \u2018Indexing schemes and file organisations for the NU\u2010Prolog deductive database system\u2019 Ph.D. Thesis University of Melbourne 1989."},{"key":"e_1_2_1_5_2","first-page":"456","volume-title":"Symbolic and Algebraic Computation (Proceedings of 1988 International Symposium on Symbolic and Algebraic Computation","author":"Butler G.","year":"1989"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","DOI":"10.1109\/MEX.1987.4307074","volume-title":"The Art of Prolog","author":"Sterling L.","year":"1987"},{"key":"e_1_2_1_7_2","volume-title":"Principles of Database and Knowledge\u2010base Systems","author":"Ullman J. D.","year":"1988"},{"key":"e_1_2_1_8_2","volume-title":"Principles of Database and Knowledge\u2010base Systems","author":"Ullman J. D.","year":"1989"},{"key":"e_1_2_1_9_2","volume-title":"Computing with Logic","author":"Maier D.","year":"1988"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61804-8"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54955-2"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80082-X"},{"key":"e_1_2_1_13_2","volume-title":"The Groups of Order 2, (n \u2264 6)","author":"Hall M.","year":"1964"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-012975-4.50020-5"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1080\/00927877908822410"},{"key":"e_1_2_1_16_2","volume-title":"Atlas of Finite Groups","author":"Conway J. H.","year":"1985"},{"key":"e_1_2_1_17_2","volume-title":"Perfect Groups","author":"Holt D. F.","year":"1989"},{"key":"e_1_2_1_18_2","first-page":"153","volume-title":"Computers in Mathematical Research","author":"Worboys M. F.","year":"1988"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(90)90244-I"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(91)90261-6"},{"key":"e_1_2_1_21_2","first-page":"337","volume-title":"Group Theory (Singapore, 1987)","author":"Newman M. F.","year":"1989"},{"key":"e_1_2_1_22_2","unstructured":"Susan HelenLey \u2018TWOGPS: a deductive database for groups of order 2\u2019 Honours Thesis Basser Department of Computer Science University of Sydney 1988."},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/120694.120725"},{"key":"e_1_2_1_24_2","first-page":"50","volume-title":"Statistical and Scientific Database Management (Proceedings of 5th International Conference on Statistical and Scientific Databases","author":"Butler G.","year":"1990"},{"key":"e_1_2_1_25_2","unstructured":"Sridhar SankarnarayanIyer \u2018On databases and knowledge\u2010bases for modern algebra\u2019 Ph.D. Thesis Basser Department of Computer Science University of Sydney 1992."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380241004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380241004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T17:01:20Z","timestamp":1698166880000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380241004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":24,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["10.1002\/spe.4380241004"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380241004","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}