Meta-Level Control for Deductive Database Systems

by Helmut Schmidt
Meta-Level Control for Deductive Database Systems
Author: Helmut Schmidt
Publisher: Springer Science & Business Media
Total Pages: 172
Release: 1991
Genre: Computers
ISBN: 9783540537540
GET BOOK

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.

Information Modelling and Knowledge Bases XXXV

by M. Tropmann-Frick
Information Modelling and Knowledge Bases XXXV
Author: M. Tropmann-Frick
Publisher: IOS Press
Total Pages: 342
Release: 2024-02
Genre: Computers
ISBN: 1643684779
GET BOOK

The volume and complexity of information, together with the number of abstraction levels and the size of data and knowledge bases, grow continually. Data originating from diverse sources involves a combination of data from traditional legacy sources and unstructured data requiring backwards modeling, meanwhile, information modeling and knowledge bases have become important contributors to 21st-century academic and industrial research. This book presents the proceedings of EJC 2023, the 33rd International Conference on Information Modeling and Knowledge Bases, held from 5 to 9 June 2023 in Maribor, Slovenia. The aim of the EJC conferences is to bring together experts from different areas of computer science and from other disciplines that share the common interest of understanding and solving the problems of information modeling and knowledge bases and applying the results of research to practice. The conference constitutes a research forum for the exchange of results and experiences by academics and practitioners dealing with information and knowledge bases. The topics covered at EJC 2023 encompass a wide range of themes including conceptual modeling; knowledge and information modeling and discovery; linguistic modeling; cross-cultural communication and social computing; environmental modeling and engineering; and multimedia data modeling and systems. In the spirit of adapting to the changes taking place in these areas of research, the conference was also open to new topics related to its main themes. Providing a current overview of progress in the field, this book will be of interest to all those whose work involves the use of information modeling and knowledge bases.

Attribute Grammars, Applications and Systems

by Henk Alblas
Attribute Grammars, Applications and Systems
Author: Henk Alblas
Publisher: Springer Science & Business Media
Total Pages: 536
Release: 1991-10-23
Genre: Computers
ISBN: 9783540545729
GET BOOK

Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars.

Perspectives of System Informatics

by Dines Bjørner
Perspectives of System Informatics
Author: Dines Bjørner
Publisher: Springer Science & Business Media
Total Pages: 472
Release: 1996-12-04
Genre: Computers
ISBN: 9783540620648
GET BOOK

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

TAPSOFT '91 - Volume 2

by S. Abramsky
TAPSOFT '91 - Volume 2
Author: S. Abramsky
Publisher: Springer Science & Business Media
Total Pages: 502
Release: 1991-03-28
Genre: Computers
ISBN: 9783540539810
GET BOOK

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Advances in Petri Nets 1990

by Grzegorz Rozenberg
Advances in Petri Nets 1990
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
Total Pages: 534
Release: 1991-03-13
Genre: Computers
ISBN: 9783540538639
GET BOOK

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.