Formal restructuring functions for hierarchical data bases

Niemi, Timo

doi:10.1007/bf00977967

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1984

1993

Publication Types

Select...

Article5

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 6 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We shall define operations to construct a relation. Analogous construction operations can also be used for hierarchical data bases [11,12]. Next we consider briefly those definitions and notational conventions which we shall apply in the formal description of a relation and later in the definition of the attributes.…”

Section: Introductionmentioning

confidence: 99%

Specification of a query language by the attribute method

Niemi

1984

BIT

Self Cite

View full text Add to dashboard Cite

Abstract.Data base applications are large and complex in nature. Therefore we need effective tools to manage complexity in developing data base software. In this paper we demonstrate how the attribute method can be used as a systematic approach to specify software in the data base area. We have a relationally complete query language as the specification subject. In data base applications it is important to specify precisely both the semantics of software and constraints related to data base structures and to data base operations. For the former purpose we define semantic attributes and for the latter checkiny attributes~ Keywords: query language, relational data base, abstract (formal) specification, attribute method.

show abstract

Section: Introductionmentioning

confidence: 99%