資料庫理論 theory)指資料庫與資料庫管理系統的相關理論與研究。 数据管理方面的理论涵盖其他领域,如查询语言的基础、計算複雜性和查询的表达能力(英语:Expressive power (computer science))、有限模型理论(英语:Finite model theory)、数据库设计(英语:Database
百事侵略者 [2020-01-18]. (原始内容存档于2019-01-13) (英语). Bogost, Ian. Persuasive Games: The Expressive Power of Videogames. Cambridge, Massachusetts: MIT Press. 2007: 276-277.
逻辑完備性(completeness) 系統中不存在無法證明或證否的有效命題。系統中真命題皆可證明(真命題皆為定理)且假命題皆可證否。 表达性(英语:Expressive power ) (computer science)(Expressivity) 系统中可以表达哪些概念。
模式匹配 Combining pattern matching with guards gives a significant gain in expressive power . Guards of this kind first appeared in KRC, “Kent Recursive Calculator”(Turner
防彈少年團[2018-04-05]. (原始内容存档于2023-10-03) (韩语). Herman, Tamar. BTS Releases Expressive 'Love Yourself: Tear' Album: Listen. 告示牌. 2018-05-18 [2018-05-25]. (原始内容存档于2020-09-08)