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

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.