%A A. V. Aho %A J. D. Ullman %T Optimal partial-match retrieval when fields are independently specified %J ACM Transactions on Database Systems %V 4 %N 2 %D June 1979 %P 168-179 %A Hans-Jugen Appelrath %A Hermann Bense %A Thoms Rose %T CPDB - A data-base based Prolog system incoporating meta-knowledge %R Technical Report %I ETH Zurich, Department of Computer Science %D Spetember 1985 %P 20 %A A. F. Cardenas %T Analysis and performance of inverted database structures %J Communications of the ACM %V 18 %N 5 %D 1975 %P 253-263 %A I. Futo %A F. Darvas %A P. Szeredi %T The Application of Prolog to the Development of QA and DBM Systems %B Logic and Databases %E H. Gallaire %E Jack Minker %I Plenum Press %D 1978 %K logic databases %A I. Futo %A F. Darvas %A P. Szeredi %T The application of Prolog to the development of QA and DBM systems %B Logic and Data Bases %E Herve Gallaire %E Jack Minker %I Plenum Press %C New York %D 1978 %P 347-376 %A Herve Gallaire %A Jack Minker %A J.M. Nicolas %T Logic and Databases: A Deductive Approach %J ACM Computing Surveys %D June 1984 %K deductive database ddb %A J. Grant %A Jack Minker %T Optimization in a Deductive Relational System %J Proceedings Workshop on Formal Bases for Data Bases %I North-Holland %C Toulouse, France %D 1979 %K deductive database ddb theory %A J. Grant %A Jack Minker %T Answering Queries in Indefinite Data Bases and the Null Value Problem %R Technical Report %I Department of Computer Science %C University of Maryland %D 1983 %K deductive database ddb %A Donald E. Knuth %T The Art of Computer Programming %V 3 %I Addison Wesley %C Reading, Mass. %D 1973 %A M. Kohli %A Jack Minker %T Intelligent Control Using Integrity Constraints %J Proceedings of the National Conference on Artificial Intelligence %C Washington D.C. %D August, 1983 %K deductive database ddb %O Also in Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983 %A John W. Lloyd %A Kotagiri Ramamohanarao %T Partial-match Retrieval for Dynamic Files %J BIT %V 22 %D 1982 %P 150-168 %K partial-match retrieval, dynamic files, extendible hashing, linear hashing, rao %A Jack Minker %T A Set-Oriented Predicate Logic Programming Language %R Technical Report %I Computer Science Department %C University of Maryland %D 1975 %K deductive database ddb %O Also Published in Proceedings Logic Programming Workshop, Debrecen, 1981 %A Jack Minker %T Performing Inferences over Relational Databases %J Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data %D 1975 %P 79-91 %K deductive database ddb %A Jack Minker %T Set Operations and Inferences over Relational Databases %R Technical Report 427 %I Computer Science Department %C University of Maryland %D 1975 %K deductive database ddb %A Jack Minker %T Search Strategy and Selection Function for an Inferential Relational System %J ACM Transactions on Database Systems %V 3 %N 1 %D March, 1978 %P 1-31 %K deductive database ddb %A Jack Minker %T Logical Inference as an Aid to Analysis in Large Databases %R Technical Report TR-879 %I Department of Computer Science %C University of Maryland %D 1980 %K deductive database ddb %A Jack Minker %T On Infinite Databases and the Closed World Assumption %J Proceedings of the First International Logic Programming Conference %C Marseille, France %D 1981 %K deductive database ddb %A Jack Minker %A J.M. Nicolas %T On Recursive Axioms in Deductive Databases %J Information Systems %V 8 %N 1 %D January, 1982 %K deductive database ddb %A Jack Minker %A G. Zanon %T An Extension to Linear Resolution with Selection Function %J Information Processing Letters %V 14 %N 4 %D June, 1982 %P 191-194 %A Jack Minker %T Issues in Developing Expert Systems %J Proceedings of Workshop on Logic Programming %C Algarve, Portugal %D 1983 %A Jack Minker %A David Perlis %T Applications of Protected Circumscription %J Proceedings of the Conference on Automated Deduction 7 %C Napa, California %D May, 1984 %P 414-425 %A J.M. Nicolas %A K. Yazdanian %T Integrity Checking in Deductive Databases %B Logic and Databases %E Herve Gallaire %E Jack Minker %I Plenum Press %C New York %D 1978 %P 325-346 %A J. L. Pfatlz %A W. J. Berman %A E. M. Cagley %T Partial match retrieval using indexed descriptor files %J Communications of the ACM %V 23 %N 9 %D 1980 %P 522-528 %A Kotagiri Ramamohanarao %A John W. Lloyd %T Dynamic Hashing Schemes %R The Computer Journal %V 25 %N 4 %D Novemeber 1982 %P 478-485 %K hashing, primary key, dynamic file, rao %A Kotagiri Ramamohanarao %A John W. Lloyd %A James A. Thom %T Partial-match Retrieval using Hashing and Descriptors %J ACM Transactions on Database Systems %V 8 %N 4 %D December 1983 %P 552-576 %K deductive databases, partial match retrieval, hashing, descriptors, dynamic file, optimization, rao %A R. L. Rivest %T Partial match retrieval algorithms %J SIAM Journal of Computing %V 5 %N 1 %D 1976 %P 19-50 %A C. S. Roberts %T Partial match retreival via the method of superimposed codes %J Proceedings of the IEEE %V 67 %N 2 %D 1979 %P 522-528 %A Ron Sacks-Davis %A Kotagiri Ramamohanarao %T A two level superimposed coding scheme for partial match retrieval %J Information Systems %V 8 %N 4 %D 1983 %P 273-280 %A Jaroslav Samanek %T Partial-match retrieval using multi-level superimposed codes %R M.Sc. Thesis %I University of New South Wales %D April 1982 %A G. Wiederhold %T Database Design %I McGraw-Hill %C New York %D 1977 %A Michael J. Wise %A David M. W. Powers %T Indexing Prolog clauses via superimposed codewords and field encoded words %J Proceedings of the IEEE Conference on Logic Programming %C Atlantic City, NJ %D January 1984 %P 203-210