Theoretical Studies in Computer Science

Theoretical Studies in Computer Science focuses on the field of theoretical computer science.

This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural containment and equivalence, interface between language theory and database theory, and automata theory for database theoreticians are also deliberated. This text likewise covers the datalog linearization of chain queries, expressive power of query languages, and object identity and query equivalences. Other topics include the unified approach to data and meta-data modification for data/knowledge bases, polygon clipping algorithms, and convex polygon generator.

This publication is intended for computer scientists and researchers interested in theoretical computer science.

Inhalt

Contributors
Preface
Context-Free Multilanguages
Proving Nonmembership in Certain Families of Context-Free Languages
Single Tree Grammars
The Complexity of Structural Containment and Equivalence
The Interface Between Language Theory and Database Theory
Automata Theory for Database Theoreticians
On Datalog Linearization of Chain Queries
Expressive Power of Query Languages
Object Identity and Query Equivalences
A Unified Approach to Data and Meta-Data Modification for Data/Knowledge Bases
Polygon Clipping: Analysis and Experiences