分層介質(zhì)中的電磁場與電磁波

解析分層亦稱解析譜系。按照量詞復(fù)雜性對解析關(guān)系所作的遞歸論分層。與算術(shù)分層類似，任何解析關(guān)系可以用算術(shù)關(guān)系加上有窮個交替出現(xiàn)的二階函數(shù)量詞?′與?′表示，依照量詞個數(shù)，可以將該解析關(guān)系納入具體的解析分層Σ¹_n或π¹_n中。形式地，具體的解析分層Σ¹_n，π¹_n，Δ¹_n可遞歸定義如下：

1.Σ¹₀=π¹₀={R：R為算術(shù)關(guān)系}。

2.Σ¹_{n 1}={(?′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(?′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n與Δ¹_n中的關(guān)系分別稱為Σ¹_n關(guān)系、π¹_n關(guān)系與Δ¹_n關(guān)系，此外，Δ¹_w定義為：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析關(guān)系的集合。此外，對n≥1，Σ¹_n關(guān)系可表示成下形范式：

(?′f₁)(?′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n為偶數(shù)，Q¹_n為?′，Q⁰為?⁰；若n為奇數(shù)，Q¹_n為?′，Q⁰為?⁰；而R為遞歸關(guān)系。π¹_n關(guān)系也可表示成以?′開頭的類似表達式.解析分層還具有如下封閉性：

1.Σ¹_n，π¹_n，Δ¹_n對合取、析取運算與一階量詞封閉。

2.Δ¹_n對否定運算封閉。

3.R∈Σ¹_n，當且僅當?R∈π¹_n；

R∈π¹_n，當且僅當?R∈Σ¹_n。

4.對n≥1，Σ¹_n對二階量詞?′封閉，π_n對二階量詞?′封閉。

關(guān)于解析分層的其他性質(zhì)，參見“解析枚舉定理”。此外，與算術(shù)分層不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的關(guān)系稱為超算術(shù)關(guān)系。

自動數(shù)據(jù)分層（automated data tiering）是一種軟件程序，它根據(jù)公司規(guī)定的政策移動分層存儲（tiered storage）間的數(shù)據(jù)文件、卷或區(qū)塊。

自動數(shù)據(jù)分層（automated data tiering）是一種軟件程序，它根據(jù)公司規(guī)定的政策移動分層存儲（tiered storage）間的數(shù)據(jù)文件、卷或區(qū)塊。

為了決定數(shù)據(jù)存儲的位置，自動數(shù)據(jù)分層（automated data tiering）監(jiān)控數(shù)據(jù)使用情況。頻繁訪問的數(shù)據(jù)會保留在高性能光纖通道（Fibre Channel）或是固態(tài)硬盤（solid-state drive）中，而低頻訪問的數(shù)據(jù)則被轉(zhuǎn)移到低成本、高容量的本地驅(qū)動或是云存儲中。

廠商聲稱，自動數(shù)據(jù)分層（automated data tiering）帶來了多種好處。它能減少存儲分層間動態(tài)分類和遷移數(shù)據(jù)時管理存儲所需的時間。通過把低頻訪問數(shù)據(jù)轉(zhuǎn)移到低成本驅(qū)動，組織不僅能省下用于高性能驅(qū)動的花費，還能通過減輕負載來提高性能。另外，減少活動文件的數(shù)據(jù)可以減少日常備份時間。2100433B