Next Generation Information System Technology

Declarative 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.