000 02841nam a22005295i 4500
001 978-3-540-46840-0
003 DE-He213
005 20160624102018.0
007 cr nn 008mamaa
008 121227s1989 gw | s |||| 0|eng d
020 _a9783540468400
_9978-3-540-46840-0
024 7 _a10.1007/BFb0019944
_2doi
050 4 _aQA76.9.D3
072 7 _aUN
_2bicssc
072 7 _aUMT
_2bicssc
072 7 _aCOM021000
_2bisacsh
082 0 4 _a005.74
_223
245 1 0 _aInteractive Relational Database Design
_h[electronic resource] :
_bA Logic Programming Implementation /
_cedited by Tapan P. Bagchi, Vinay K. Chaudhri.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
300 _aXIV, 194 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v402
505 0 _aand problem statement -- Literature survey: The methods and models -- Overview of the relational model -- Relational database: Design methodologies -- The development of normal forms -- Prolog implementation of normalization of relations -- Conclusions and directions for further work.
520 _aRelational 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.
650 0 _aComputer science.
650 0 _aDatabase management.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aDatabase Management.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aBagchi, Tapan P.
_eeditor.
700 1 _aChaudhri, Vinay K.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540518815
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v402
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0019944
942 _2EBK5915
_cEBK
999 _c35209
_d35209