000 04929nam a22005295i 4500
001 978-3-540-47444-9
003 DE-He213
005 20160624102023.0
007 cr nn 008mamaa
008 121227s1991 gw | s |||| 0|eng d
020 _a9783540474449
_9978-3-540-47444-9
024 7 _a10.1007/3-540-54141-1
_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 _aNext Generation Information System Technology
_h[electronic resource] :
_bFirst International East/West Data Base Workshop Kiev, USSR, October 9–12, 1990 Proceedings /
_cedited by Joachim W. Schmidt, Anatoly A. Stogny.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
300 _aXII, 456 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 ;
_v504
505 0 _aDeclarative languages — Paradigm of the past or challenge of the future? -- A glimpse of paradise -- An object-oriented data model for artificial intelligence applications -- An overview of life -- On the semantics of rules in database programming languages -- Towards a categorical data model supporting structured objects and inheritance -- Typing schemes for objects with locality -- Object orientation and logic programming for databases: A season's flirt or long-term marriage? -- Semantics of object-oriented data models — The evolving algebra approach -- Extending the entity-relationship model for a high-level, theory-based database design -- Towards database application systems: Types, kinds and other open invitations -- Modelling inheritance in a strongly typed functional model -- Bulk types for large scale programming -- Controlled generation of intensional answers -- Data construction with recursive set expressions -- The LOGIDATA+ model and language -- A recursive base for database programming primitives -- Toward multiparadigm database interfaces -- Updating Datalog databases -- Synthesis: Towards a query facility for generalized information resources -- The database programming language Atlant: Principal features and implementation techniques -- LOQIS: The object-oriented database programming system -- The CLOS project: Towards an object-oriented environment for application development -- The HYTECH project: IP tools based on hypertext technology -- Visicom: A visual interface to databases -- The ADIS project on ADaptive information systems: Concepts and language technology -- Istspn: Integrated Software Tool Supporting Petri Nets -- The FOLI project: Towards an artificial intelligence language -- Informatization and restructuring of Soviet society.
520 _aCurrently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientation, data deduction and extended knowledge representation schemes), there is improved systems integration, and there are new tools. All these extensions aim to provide semantically richer and better engineered information systems that allow for more adequate and complete representations and thus extend the effective use of database technology to a wider class of applications. Database researchers and developers, whether they are committed to application or to system construction, are convinced that next-generation information system technology will be heavily determined by a handful of new concepts that they have to understand and work out in detail now. This volume concentrates on the following topics: - Extended data types and data models, database programming languages; - Rule-based data deduction, expert systems, knowledge bases; - Object orientation and semantic data modelling; - DB application development, methodologies and tools; - Interface technology, parallelism, interoperability, ...; - New database applications.
650 0 _aComputer science.
650 0 _aDatabase management.
650 0 _aManagement information systems.
650 1 4 _aComputer Science.
650 2 4 _aDatabase Management.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aBusiness Information Systems.
700 1 _aSchmidt, Joachim W.
_eeditor.
700 1 _aStogny, Anatoly A.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540541417
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v504
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-54141-1
942 _2EBK6076
_cEBK
999 _c35370
_d35370