Анотація: Розроблено дата-специфікації для нафтогазової предметної області, означені через скінченну категорію. Проаналізовано об’єкти предметної області КОЛЕКТОР та РОДОВИЩЕ і змодельовані відношення між ними. Показано, що еквівалентним дата-специфікаціям відповідають однакові предикатні схеми.

Теги: , , , , ,