草稿:Form-world

Form-World 表格Form是一廣義的抽像名詞，它抱括了但不僅限於：1）各種計算機軟件所產生的應用畫面（表/表格，Table/Form, 圖表 Chart，各種格式的圖像），各種包含控件元素（功能）的畫面，用傳統數據庫（甲骨文、微軟、IBM）、Excel、Access開發的應用系統所產生的各種屏幕畫面等;2)用於記載/記錄人類社會各項活動所使用的硬考貝、紙質表格;3)用於工業自動化控制過程中，三維空間具n個獨立的機械動作所組成的三維數組，按一定的格式排列，依然能被視為Form來處理。在Form的集合中，由m行n列組成的Table（表）依然全屬於Form的子集。Form是人類世界用於記載/記錄、展示/揭示各項活動最常/有效的方法，我們將這個廣義的抽像概念用Form-World來命名是再恰當不過了。要符合此概念的實際用途，Form-World平台應能夠裝載各種不同形式的Form，裝載應能將所述的原始畫面鏡像在Form-World平台上，並以Form作為記載/記錄數據的框架。除非有特別指明是記載/記錄數據的框架，本文將含數據記錄的Form集合體簡稱Form的集合體，或稱Form-World數據庫。

公理：在一個Form集合體中，任意一個數據域的域值是且僅能：是來自集合外的輸入、或是由集合中某些(個)數據域的域值變換得來的。由此得出推論：1）平行變換關係；2）交叉變換關係。參見美國專利文獻：US8051107和中國專利文獻：ZL2007800006.1。用歸納法可以證明1)和2)推論是對的。文獻中所述的變換（Transformations）可以是，但不僅限於：一般函數式、關係函數式、邏輯推理/判斷/分析、一種映照表/索引表的對應關係、矩陣的運算、一段為達到/取得某種（些）結果的程序、變換也可以是空的。當變換是空的，其實質是一種單一的鏈接，等價於傳統關係型數據庫（如：甲骨文、微軟、IBM等）中的關係鏈接。Form-World平台使用變換這一概念設計了足夠的開放型資源工具及相應的內部處理進程，用於解決數據自動處理的常規問題。專利中所述的變換（Transformations）是加載在關係指針上，隨着指針的移動，變換將作用在相關指針所指向記錄的數據域上。如果我們拋開數據庫應用系統內部的複雜性，單就其產生的結果看（也就是最終用戶所要的結果），是一些含數據記錄的Form，或者稱之為Form的集合。以此為理論基礎，Form-World數據庫應用軟件工程是：視開發數據庫應用系統對象的所有Form為一集合體，以研究該集合體中Form與Form之間數據域的變換關係為主，然後通過Form-World平台上的工具將這些變換關係鏈接起來，當完成所有的變換關係的鏈接，一個數據庫應用軟件工程也就完成了。顯然，將傳統數據庫應用軟件工程中的程序視為一些變換關係，也適用於上述理論。

傳統數據庫應用軟件工程，是從開發對象的管理環境中（包括各種形式的Form）提取數據庫能夠識別的數據結構（Table），根據管理應用的要求，編程數據的自動化處理等，最後呈現最終用戶能夠理解/需要的Form，是經Form->Table->Form的工藝過程，且含冗長的編程設計。

與傳統數據庫（指：甲骨文、微軟、IBM等，下同）結構不同的是，Form-World數據庫結構的基本元素是Form，而不是傳統數據庫結構中所使用的基本元素Table。採用Form作為數據庫結構基本元素，除了可作為存儲數據的框架外，還保留了用戶原有的使用習慣，無需象傳統數據庫那樣為屏幕的布局（Form）、打印布局(Form)做大量的編程。在傳統數據庫應用軟件工程中，如果我們單純從程序設計的工藝過程來看：同一個數據自動化過程處理交由n個程序員編程處理，可以有n種不同的方案, 豪無科學性，難於規範，可能產生大量重複的編程勞動；編寫程序純屬技巧；系統是通過大量的程序設計建造出來的，是純屬由工匠式的編程技巧堆砌而起的系統。在Form-World數據庫應用軟件工程中，數據的自動化處理是通過變換關係來實現，易於規範。

由於Form-World平台提供足夠的開放型資源工具、數據庫架構的基本元素是Form,在開發/應用界面是直接使用工具操作/設計Form，無需為應用界面的布局、打印界面的布局編寫程序，可大幅降低開發及維護成本。Form-World平台在使用C/S或B/S模式下，由於Form-World客戶端記錄指針是經雲端偶合到Form-World服務端，客戶端的記錄指針的指向等價於服務端的記錄指向，所以在C/S或B/S模式下客戶端無需為訪問服務端編寫程序，也將大幅降低開發成本。其中在B/S模式下，當瀏覽端訪問Form-World服務端時，服務端內置AI引擎會根據之前開發者的設計意圖自動生成HTML/JS/XML返回瀏覽端，形成用戶端所需的網頁。

Form-World數據庫架構的基本元素是Form。含有同一實際用途的數張不同格式的Form構建存儲記錄的基本單元。在此架構上一個記錄可以是：一個事件，一個話題下的所文字、圖像、視頻、語音，一個用於存儲數字向量的矩陣/陣列，甚至可以是一個項目中所有的文件；每個記錄的長度可以不相等。一個Form-World數據庫中的每張Form有唯一的ID號,每張表格中的每個域（字段）都有唯一的域名。Form-World數據庫具有結構化數據庫的特徵，又有非結構化的存儲能力。