Розглянуто такі загальні теоретико-множинні конструкції: відношення конфінальсті і коініціальності на множинах елементів, індуковані вихідним відношенням на елементах; відношення порядку на фактор-множині, індуковане вихідним відношенням передпорядку на множині. Крім того, розглянуто семантику "упорядкування" рядків таблиць в запитах SQL-подібних мов у вигляді відношення передпорядку на рядках таблиць. Основні результати: встановлено критерії для відношень конфінальності і коініціальності бути передпорядками; показано, що ці відношення, індуковані частковим порядком, є порядками на дискретних множинах, потім цей результат перенесений на таблиці; показано роль конфінальних і коініціальних підмножин для знаходження точних граней множини; знайдений критерій для передпорядку на фактор-множині бути порядком; встановлено критерій, коли передпорядок на рядках таблиць є порядком.

  Повний текст PDF - 466.127 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"