Finite Axiomatisation of Languages for Representation of System Properties

@article{Petrov1989FiniteAO,
  title={Finite Axiomatisation of Languages for Representation of System Properties},
  author={Sergey V. Petrov},
  journal={Inf. Sci.},
  year={1989},
  volume={47},
  pages={339-372}
}
The existence of full, consistent, and finite systems of inference rules for several languages is discussed. These languages are used for the description of system classes, the system being given by a multiplace relation. The same languages-types of dependencies-are used in relational database theory for describing integrity constraints. The absence of finite axiomatization for different types of dependencies, including join dependencies, is proved.