СРС №13

Дедуктивные базы данных
Исчисление высказываний. Исчисление предикатов. Доказательно-теоретический подход к базам данных. Экстенсиональная и интенсиональная базы данных. Дедуктивная СУБД. Язык DataLog. Обработка рекурсивных запросов.


Ұқсас жұмыстар

Web-технологиялар көмегімен html пәні бойынша электронды оқулық
Цитология және гистология түсінігі
Интернет желісінің қызметтері мен хаттамалары
Қашықтан оқу технологиясы
Қазақстан Республикасының әлеуметтік бағдарламаларын іске асыру тақырыбы бойынша бағдарлама немесе жоспар әзірлеу
Машинажасау мамандығының білім алушыларына Машинажасау мамандығына кіріспе пәнінен студенттердің өзіндік жұмыстарын орындауға арналған әдістемелік нұсқаулар
Инерциялы ротордың параметрлерін таңдаудың өндірістік зерттеулері
БОЛАТ КОНСТРУКЦИЯЛАРЫНЫҢ ЭЛЕМЕНТТЕРІН ЕСЕПТЕУ
Мектеп ұстаздардың қағаз жұмысының автоматтандырылуы және ішкі жүйесінің реттелуін қызмет жасайтын веб парақша құру
Вуздағы кафедра құжат айналымын DELPHI көмегімен дамытуды ұйымдастыру