Graph database models can be defined as those in which data structures for the schema
and instances are modeled as graphs or generalizations of them, and data manipulation is …

Most common database management systems represent information in a simple record-
based format. Semantic modeling provides richer data structuring capabilities for database …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean
and declarative fashion for most of the structural aspects of object-oriented and frame-based …

We describe a novel logic, called HiLog, and show that it provides a more suitable basis for
logic programming than does traditional predicate logic. HiLog has a higher-order syntax …

We propose a database logic which accounts in a clean declarative fashion for most of the
“object-oriented” features such as object identity, complex objects, inheritance, methods, etc …

A simple, graph-oriented database model, supporting object-identity, is presented. For this
model, a transformation language based on elementary graph operations is defined. This …

Relational database theory | Guide books skip to main content ACM Digital Library home ACM
corporate logo Google, Inc. (search) Advanced Search Browse About Sign in Register …

Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a
reexamination of the fundamentals of relational database theory. In this paper we take a first …

Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic …