Specification of a query language by the attribute method

Abstract

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.