Interactive Relational Database Design: A Logic Programming Implementation
Book information
Description
Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to manipulate data. But finding the right relations for a database is not yet a trivial step for the uninitiated. This book presents a comprehensive logic programming implementation of the relational design methodology. It employs TURBO Prolog to test and establish computational viability of the relevant algorithms. It also presents the expert system prototype of a user interface, designed especially for builders of computerized databases who may have no formal training in database design.
Similar books
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
1992 · PDF
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
2011 · PDF
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
2010 · PDF
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
2012 · PDF
On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
2019 · PDF
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
2019 · PDF
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
2019 · PDF
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
2019 · PDF