Richard L. Tenney

Paul D. Amer

M Ümit Uyar

This book is the sixth in a series of volumes concentrating on formal techniques applicable to distributed systems and protocols. The initial focus on techniques standardized by ISO and CCITT (Estelle, LOTOS, and SDL), widened in previous volumes to, for example, CCS, CSP, ASN.1, Z, Actor, VDM and RAISE, is yet again expanded. A strong theoretical component is balanced by a practical one, with papers included from the industrial as well as the academic communities. Offering a comprehensive presentation of the state of the art in theory, application, tools and industrialization of formal techniques, the publication provides an excellent orientation for the newcomer . By bringing together both researchers and practitioners, it also opens the communication between these groups vital for a continued cross-fertilization of knowledge and ideas for the future.

Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

Formal Description Techniques, VI

Dan A. Simovici

Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc. This book combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications such as molecular and developmental biology. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed as a text for graduate and upper-level undergraduate students, the comprehensive coverage of the subject makes it suitable as a reference for scientists.

Theory of Formal Languages with Applications

Relational Database Systems provides a timely introduction to the type of systems that are the current mainstay of the database management field. This book serves as a text for advanced undergraduate and graduate students, as well as an informative reference for researchers and professionals in all database aspects of computer science. It presents important querying systems including SQL and QUEL, and covers their respective theoretical foundations in relational algebra, tuple calculus, and domain calculus. The presentation of SQL adheres to the ANSI standard; however, the book discusses the most popular SQL dialects; a separate chapter covers imbedded SQL. The text also contains references to many significant relational database products, including INGRES, ORACLE, DB2, PARADOX, and SYBASE. Relational Database Systems concentrates on those issues that are most relevant to database design and application development. Exercises that constitute important extensions of the material are provided at the end of each chapter. The book assumes a knowledge of programming languages and datastructures, and some mathematical induction. Includes coverage of embedded SQL, the most important existing application development tool Presents query systems within their theoretical context Discusses supporting mathematical theory Offers a comparison of SQL dialects Provides supplemental exercises for each chapter Contains references to significant relational database products, including INGRES, ORACLE, DB2, PARADOX, and SYBASE

Richard L. Tenney

About

Books

Join the club