版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領
文檔簡介
SQLServer實務與管理上海立信會計學院SQLServer操作和管理數(shù)據(jù)第1章SQLServer基礎第2章單表查詢第3章聯(lián)接查詢第4章子查詢第5章表表達式第6章集合運算第7章數(shù)據(jù)修改第8章事務和并發(fā)第9章可編程對象第10章安全管理第11章備份與還原操作管理第1章SQLServer基礎第2章單表查詢第3章聯(lián)接查詢第4章子查詢第5章表表達式第6章集合運算第7章數(shù)據(jù)修改第8章事務和并發(fā)第9章可編程對象第10章安全管理第11章備份與還原操作管理第1章SQLServer基礎第2章單表查詢第3章聯(lián)接查詢第4章子查詢第5章表表達式第6章集合運算第7章數(shù)據(jù)修改第8章事務和并發(fā)第9章可編程對象第10章安全管理第11章備份與還原操作管理SQL語言操作和管理數(shù)據(jù)(SQLServer實現(xiàn)T-SQL)第1章SQLServer基礎基本概念第1章SQLServer基礎1.1數(shù)據(jù)庫理論SQLServer實現(xiàn)了數(shù)據(jù)庫理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論二、謂詞邏輯數(shù)據(jù)庫所基于的數(shù)學理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合(主觀靈活,根據(jù)實際需要)例第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合(用表表示,集合運算等)演示第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象(例Age>20)演示第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象關系數(shù)據(jù)庫所基于的數(shù)學理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)集合即表客戶號住址001松江002徐匯......第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)(列標題即關心的屬性)客戶號住址001松江002徐匯......集合即表第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點(列標題即關心的屬性)客戶號住址001松江002徐匯......集合即表第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003?......1、缺少的值第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值(特殊處理以后講)NULL第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性(關系模型最大的優(yōu)點之一)NULL第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性(完美無缺陷)NULL第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL1)域完整性2)實體完整性3)引用完整性主鍵等類型等外鍵等第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL1)域完整性2)實體完整性3)引用完整性主鍵等類型等外鍵等(整數(shù)域)(字符域)演示第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL1)域完整性2)實體完整性3)引用完整性主鍵等類型等外鍵等(主鍵)第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)客戶號住址001松江002徐匯003NULL......1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL1)域完整性2)實體完整性3)引用完整性主鍵等類型等外鍵等(主鍵)訂單號客戶號100000011000100210002001......(外鍵)第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表訂單號客戶號住址訂單號客戶號客戶號住址法1)一個大表法2)兩個小表例:設計訂單表第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表訂單號客戶號住址訂單號客戶號客戶號住址法1)一個大表(規(guī)范?)法2)兩個小表(規(guī)范?)例:設計訂單表第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表法1)一個大表(規(guī)范?)法2)兩個小表(規(guī)范?)例:設計訂單表訂單號客戶號住址10000005松江10001005松江10002005松江.........訂單號客戶號100000051000100510002005......客戶號住址005松江第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表法1)一個大表(規(guī)范?)法2)兩個小表(規(guī)范?)例:設計訂單表訂單號客戶號住址10000005松江10001005松江10002005松江.........訂單號客戶號100000051000100510002005......客戶號住址005松江重復第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表法1)一個大表(不規(guī)范)法2)兩個小表(規(guī)范)例:設計訂單表訂單號客戶號住址10000005松江10001005松江10002005松江.........訂單號客戶號100000051000100510002005......客戶號住址005松江重復第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表法1)一個大表(不規(guī)范)法2)兩個小表(規(guī)范)例:設計訂單表訂單號客戶號住址10000005松江10001005松江10002005松江.........訂單號客戶號100000051000100510002005......客戶號住址005松江重復(無冗余,不易出錯)第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)1、缺少的值2、數(shù)據(jù)完整性3、規(guī)范化表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表關系在數(shù)據(jù)庫的實現(xiàn)就是數(shù)據(jù)表()?(A)是(B)否一個關系代表一個集合()?(A)是(B)否第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表關系在數(shù)據(jù)庫的實現(xiàn)就是數(shù)據(jù)表(A)?(A)是(B)否一個關系代表一個集合()?(A)是(B)否第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表關系在數(shù)據(jù)庫的實現(xiàn)就是數(shù)據(jù)表(A)?(A)是(B)否一個關系代表一個集合(A)?(A)是(B)否第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表屬性的類型實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性主鍵實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性外鍵實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表屬性的類型實現(xiàn)(A)?(A)域完整性(B)實體完整性(C)引用完整性主鍵實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性外鍵實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表屬性的類型實現(xiàn)(A)?(A)域完整性(B)實體完整性(C)引用完整性主鍵實現(xiàn)(B)?(A)域完整性(B)實體完整性(C)引用完整性外鍵實現(xiàn)()?(A)域完整性(B)實體完整性(C)引用完整性第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論1、缺少的值2、數(shù)據(jù)完整性表實現(xiàn)數(shù)據(jù)完整性NULL3、規(guī)范化設計規(guī)范的表屬性的類型實現(xiàn)(A)?(A)域完整性(B)實體完整性(C)引用完整性主鍵實現(xiàn)(B)?(A)域完整性(B)實體完整性(C)引用完整性外鍵實現(xiàn)(C)?(A)域完整性(B)實體完整性(C)引用完整性第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)表需要注意幾點關系數(shù)據(jù)庫所基于的數(shù)學理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論一、集合論對象可以分為集合二、謂詞邏輯設定條件選擇對象三、關系數(shù)據(jù)庫用表(關系)表示數(shù)據(jù)關系數(shù)據(jù)庫所基于的數(shù)學理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)SQLServer實現(xiàn)了數(shù)據(jù)庫理論第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件(5個實例相當5臺獨立服務器)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件實例類型名稱默認實例計算機名命名實例計算機名\實例名(實例按名稱區(qū)分)(5個實例相當5臺獨立服務器)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件實例類型名稱默認實例計算機名命名實例計算機名\實例名第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件實例類型名稱默認實例計算機名命名實例計算機名\實例名(5個實例相當5臺獨立服務器)(演示)(實例按名稱區(qū)分)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件實例類型名稱默認實例計算機名命名實例計算機名\實例名客戶端2)SQLServerManagementStudio1)VC,VB等應用程序(SQLServer自帶的圖形界面管理工具)(5個實例相當5臺服務器)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件實例類型名稱默認實例計算機名命名實例計算機名\實例名客戶端2)SQLServerManagementStudio1)VC,VB等應用程序(SQLServer自帶的圖形界面管理工具)(類似資源管理器)(演示)(查看數(shù)據(jù)庫)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例安裝在計算機上的服務器軟件第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例實例上有數(shù)據(jù)庫二、數(shù)據(jù)庫第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫1、系統(tǒng)數(shù)據(jù)庫2、用戶數(shù)據(jù)庫第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫1、系統(tǒng)數(shù)據(jù)庫2、用戶數(shù)據(jù)庫mastermodeltempbmsdb服務器配置等信息模板調(diào)試(定時備份等)自動化作業(yè)信息第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫1、系統(tǒng)數(shù)據(jù)庫2、用戶數(shù)據(jù)庫3、物理文件邏輯日志文件主數(shù)據(jù)文件第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象數(shù)據(jù)庫內(nèi)部第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象1、架構(gòu)碗第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象1、架構(gòu)1)權(quán)限管理第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象1、架構(gòu)1)權(quán)限管理2)命名空間架構(gòu)名.對象名(例如HR.Employees)(演示)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象1、架構(gòu)1)權(quán)限管理2)命名空間架構(gòu)名.對象名(創(chuàng)建數(shù)據(jù)庫默認架構(gòu)dbo)第1章SQLServer基礎1.1數(shù)據(jù)庫理論1.2
SQLServer體系結(jié)構(gòu)一、SQLServer實例二、數(shù)據(jù)庫三、架構(gòu)和對象1、架構(gòu)1)權(quán)限管理2)命名空間架構(gòu)名.對象名2、對象表,視圖,存儲過程等容器乒乓球第1章SQLServer基礎1
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 二零二五版生態(tài)物流綠色包裝合同3篇
- 二零二五年度環(huán)保產(chǎn)品商標使用許可協(xié)議范本3篇
- 科創(chuàng)孵化器項目建設方案
- 音樂舞蹈培訓委托合同三篇
- 二零二五年度個人挖機租賃合同解除條件合同4篇
- 二零二五年度個人與個人房產(chǎn)購置借款協(xié)議2篇
- 2025版高端車庫租賃及個性化定制服務合同范本3篇
- 二零二五年度智能家居裝修設計與施工一體化協(xié)議書2篇
- 酒店餐飲美工的工作總結(jié)
- 二零二五年度個人電動車轉(zhuǎn)讓與充電設施安裝合同3篇
- 北師大版二年級數(shù)學上冊計算題專項復習大全272
- 人教版PEP版小學英語三年級下冊Unit 4 Healthy food Part A課件
- 2024年陜西省中考道德與法治真題(A卷)(原卷版)
- (2024)湖北省公務員考試《行測》真題及答案解析
- 中小學校食品安全與膳食經(jīng)費管理工作指引
- 電商平臺客服人員績效考核手冊
- YB∕T 4146-2016 高碳鉻軸承鋼無縫鋼管
- 多圖中華民族共同體概論課件第十三講先鋒隊與中華民族獨立解放(1919-1949)根據(jù)高等教育出版社教材制作
- 高考英語單詞3500(亂序版)
- 《社區(qū)康復》課件-第五章 脊髓損傷患者的社區(qū)康復實踐
評論
0/150
提交評論