本發明公開了基于關系型數據庫的有限狀態機，包括有限狀態機數據庫模塊和有限狀態機數據處理模塊，所述有限狀態機數據庫模塊包括條件機和執行機，所述執行機將基于關系型數據庫進行數據的生成、檢查、檢索和修改等操作，所述有限狀態機數據庫模塊可容納多種數據結構的數據，所述有限狀態機數據處理模塊包括狀態存儲機、狀態條件機、狀態驅動機和狀態切換算法機。本發明涉及計算技術領域，具體為一種完整的系統解決方案，應用廣泛，基于關系型數據庫的有限狀態機既包括現實物質世界的事物，也包括事物之間相互的關系，容納不特定的技術，加快了工程應用中建模效率，約束了事物處理的主體，保持了計算過程的完整性。

技術領域

本發明涉及計算技術領域，具體為基于關系型數據庫的有限狀態機。

背景技術

有限狀態機是許多數字系統中用來控制系統和數據流路徑行為的時序電路，有限狀態機的實例包括控制單元和時序，有限狀態機主要有兩種類型即Mealy和Moore，有限狀態機或稱簡單狀態機用于設計計算機程序和時序邏輯電路，它被設想為抽象機器，可以處于有限數量的用戶定義狀態之一，機器一次只能處于一種狀態；在任何給定時間所處的狀態稱為當前狀態，當由觸發事件或條件啟動時，它可以從一種狀態改變為另一種狀態；稱為過渡，特定有限狀態機由其狀態列表和每個轉換的觸發條件定義，有限狀態機可以基于關系型數據庫在眾多領域應用。

在現代社會中的許多設備中可以觀察到狀態機的蹤影，這些設備根據發生的事件序列執行預定的動作序列，簡單的例子是自動售貨機，當存放硬幣的金額達到商品價格時分配產品；電梯在把乘客送達樓上后才會下降；交通燈按一定的時間改變信號來控制車流；以及需要輸入一串正確的數字才能打開的組合鎖。

在自動化控制領域中，基于關系型數據庫的有限狀態機同樣能發揮廣闊應用。當有限狀態機被應用到自動化控制領域中后，自動化控制有了一種新的解決方案。廣義的有限狀態機，不僅包括權限使用邏輯層面，同時也包括控制系統技術層面。

發明內容

針對上述情況，為克服當前的技術缺陷，本發明提供了基于關系型數據庫的有限狀態機，本發明是一種完整的系統解決方案，應用廣泛，基于關系型數據庫的有限狀態機既包括現實物質世界的事物，也包括事物之間相互的關系，容納不特定的技術，加快了工程應用中建模效率，約束了事物處理的主體，保持了計算過程的完整性。

本發明的技術方案如下：基于關系型數據庫的有限狀態機包括有限狀態機數據庫模塊和有限狀態機數據處理模塊，所述有限狀態機數據庫模塊包括條件機和執行機，所述執行機將基于關系型數據庫進行數據的生成、檢查、檢索和修改等操作，所述有限狀態機數據庫模塊可容納多種數據結構的數據，在數據檢查過程中，能夠根據條件限定，自動篩選出問題數據，在檢索過程中，依托關系型數據模型，迅速的找到所需數據，在修改過程中，能夠在多種數據結構上進行操作，關系型數據庫采用了關系模型來組織數據，其以行和列的形式存儲數據，以便于用戶理解，所述關系型數據庫這一系列的行和列被稱為表，一組表組成了數據庫，用戶通過查詢來檢索數據庫中的數據，而查詢是一個用于限定數據庫中某些區域的執行代碼，關系模型可以簡單理解為二維表格模型，而一個關系型數據庫就是由二維表及其之間的關系組成的一個數據組織，所述關系模型中常用的概念有關系、元組、屬性、域、關鍵字和關系模式，所述關系為一張二維表，每個關系都具有一個關系名，就是通常說的表名，所述元組為二維表中的一行，在數據庫中經常被稱為記錄，所述屬性為二維表中的一列，在數據庫中經常被稱為字段，所述域為屬性的取值范圍，也就是數據庫中某一列的取值限制，所述關鍵字：一組可以唯一標識元組的屬性，所述數據庫中常稱為主鍵，由一個或多個列組成，所述關系模式：指對關系的描述，其格式為：關系名(屬性1，屬性2，直至屬性N)，在數據庫中成為表結構，所述有限狀態機數據庫模塊具有輸入和輸出通道，輸入通道將接受元組信息，所接受的元組信息將自動匹配關系型數據模型內的數據，通過條件機判斷后，判斷結果將通過有限狀態機數據庫模塊的輸出通道輸出，所述有限狀態機數據處理模塊包括狀態存儲機、狀態條件機、狀態驅動機和狀態切換算法機。