(assertion)
warunek umieszczany w tekscie programu lub w jezyku zapytan bazy danych (Ä SQL), badajacy stan pewnych zmiennych i powodujacy okreslona reakcje systemu w przypadku, gdy nie jest spelniony, np. wyswietlenie komunikatu, zaniechaniε Ä procesu, obslugε Ä wyjatku. Zob. tez dedukcyjna baza danych
- dedukcyjna baza danych, baza danych zawierajaca...
- SQL, (SEQUEL , Structured...