作成者 |
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
号 |
|
開始ページ |
|
終了ページ |
|
出版タイプ |
|
アクセス権 |
|
Crossref DOI |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
The family of conditional generalized embedded dependencies about relations in relational databases is introduced. These constraints are expressible as formulas in second-order logic and they are cons...tructed with generalized embedded dependencies as the components. For a class of this family a characterisation of a given constraint logically implied by a certain subclass of the class is given. The existence of the Armstrong-like databases for special classes of conditional generalized embedded dependencies is proved. A method for the construction of an Armstrong model, when it exists and certain conditions are fulfilled, is given.続きを見る
|