On Implicational Dependency Families Possessing Finite Armstrong Relations

Abstract

Let X not equal to phi be a finite collection of nonempty relations over the relation scheme R(A1, A2...,An); then the closure of X under embedding and direct product (up to isomorphism) is a finitely generated Implicational Dependency family (ID-family) generated by X. In this paper, we show that the class of finitely generated ID-families is identical to the class of those ID- families which possess a finite Armstrong relation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 24, 1989
Accession Number
ADA212160

Entities

People

  • Kazem Taghva

Organizations

  • University of Nevada, Las Vegas

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Computer Science
  • Computers
  • Databases
  • Electrical Engineering
  • Embedding
  • Engineering
  • Military Research
  • Monitoring
  • Notation
  • Security
  • Triangles
  • Universities

Readers

  • Aerospace Research.
  • Graph Algorithms and Convex Optimization.