Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.

Algebra --- -Computer software --- -681.3 *C2 --- 681.3*D1 --- 681.3*D2 --- 681.3*D3 --- 681.3*F3 --- Software, Computer --- Computer systems --- Mathematics --- Mathematical analysis --- Congresses --- Development --- -Congresses --- Computer communication networks: data communications; OSI; security and protection --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Computer software --- Congresses. --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3 *C2 --- Development&delete& --- Algebra. --- Mathematics. --- Data structures (Computer scienc. --- Software engineering. --- Computer science. --- Applications of Mathematics. --- Data Structures and Information Theory. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Computer software engineering --- Engineering --- Math

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Spatial database management has become an important subarea of current database research. Research in this area is often characterized by interdisciplinary cooperation: computer scientists work with geographers andenvironmental scientists to provide better access to spatial databases of steadily increasing size. After the First Symposium on Large Spatial Databases (SSD '89) was held in Santa Barbara, California, in 1989 (and its proceedings published as Volume 409 of this series), a second symposium (SSD'91) was held in Zurich, Switzerland. This proceedings volume contains the papers presented at SSD '91. Topics include spatial data models and access methods, performance studies, geometric algorithms, spatial query languages and user interfaces, geographic information systems, and object-oriented techniques.

681.3*H28 --- 681.3*A0 --- 681.3*I35 --- Database applications --- General --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*A0 General --- 681.3*H28 Database applications --- Geographic information systems --- Congresses --- Database management --- Data structures (Computer scienc. --- Geographical information systems. --- Computer science. --- Database management. --- Artificial intelligence. --- Data Structures and Information Theory. --- Geographical Information Systems/Cartography. --- Programming Techniques. --- Database Management. --- Data Storage Representation. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science --- Geographical information systems --- GIS (Information systems) --- Information storage and retrieval systems --- Geography

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.

Banques de données--Gestion --- Bases de données déductives --- Data base management --- Database management --- Databasebeheer --- Databases--Beheer --- Deductieve data bases --- Deductive data bases --- Deductive databases --- Gegevensbanken--Beheer --- Gegevensbestanden--Beheer --- Generalized data management systems --- Systems [Data base management ] --- Systems [Generalized data base management ] --- 681.3*H28 --- 681.3*H23 --- 681.3*H24 --- Database applications --- Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Database management. --- Deductive databases. --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*H23 Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- 681.3*H28 Database applications --- Databases --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Data structures (Computer scienc. --- Artificial intelligence. --- Data Structures and Information Theory. --- Database Management. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book addresses the development of a new generation of systems, Knowledge Base Management Systems (KBMS), specially constructed for effective and efficient management of knowledge bases, with the aim of filling part of the technological gap between artificial intelligence and databases. The book first investigates in detail the design process, the architecture, and the working methods of knowledge based systems (KS) in order to point out the key characteristics of the field as well as its current limitations, which serve then as basis for an exact formulation of KS requirements. An analysis and evaluation of other approaches (e.g., conventional DBS, non-standard DBS, coupling expert systems and DBS) to knowledge management is given. The book shows that in developing KBMS, the experience obtained by the investigation of each of these approaches is extremely important since they provide the basic concepts for building KBMS. The approaches should not be viewed as complete and final but as part of research work towards KBMS. A novel architecture is described for KBMS which integrates the functionality, flexibility and modeling power of DBS and AI. The main part of the book deals with all important architectural problems of KBMS: methods for knowledge representation with special emphasis on abstraction concepts, language proposals, and concepts for performance improvement. The book is based on practical experience accumulated over five years of successful research in coupling existing expert systems and DBS, extending DBS with deductive capabilities, and above all in the design and implementation of a KBMS prototype. Thus the book's proposals are illustrated with detailed descriptions of their realization in existing systems or prototypes.

681.3*H2 --- Database management. --- Expert systems (Computer science) --- 681.3*I24 --- 681.3*I25 --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Database management: security; integrity; protection--See also {?681.5*E5} --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Expert systems (Computer science). --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Database management --- Congresses --- Artificial intelligence. --- Data structures (Computer scienc. --- Computer science. --- Information technology. --- Artificial Intelligence. --- Data Structures and Information Theory. --- Database Management. --- Programming Techniques. --- IT in Business. --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers