The pre-scheme theory for data models description and data structure model by means of concept samples is considered. A representation of samples by means of acyclic graph within of pre-scheme theory is suggested. Language for description of structural constraints for samples is offered. Method of their verification is developed.
Ключові слова: pre-scheme, acyclic graph, sample of concept, labeled tree, constrained sample, free sample, interoperability
About language for data structures modeling,
Information Processing Systems,