مسئله جستجو
search problem
مدل داده
data model
نظریه دادگان‌ها
database theory
پرسمان‌پردازی
query processing
دادگان شنیداری
audio database
دادگان گسترده
distributed database
داده متا
meta data
دادگان رابطه‌ای
relational database
سامانه مدیریت دادگان
database management system
جبر رابطه‌ای
relational algebra
منطق زمانی
temporal logic
نظریه برنامه‌نویسی
programming theory