쿼리(복잡성)

서술적 복잡성에서 쿼리는 한 서명의 구조에서 다른 어휘의 구조로 매핑하는 것이다.Neil Imerman, 그의 저서 Description Complexity에서 "쿼리의 개념을 계산의 기본 패러다임으로 사용" ^[1](17 페이지)

$\sigma$ signatures $\sigma$ 및 $\sigma$ $\tau$ ${\displaystyle \tau$ $\tau$ 각 언어의 구조 집합인 ${\mbox{STRUC}}[\sigma ]$ [ ${\mbox{STRUC}}[\sigma ]$ {\ $displaystyle {\mbox{$ $STRUC}}[\sigma ]}$ 및 ${\mbox{STRUC}}[\sigma ]$ ${\mbox{STRUC}}[\tau ]$ [ $]$ {\ $displaystyle$ {\ $mbox{$ $STRUC}}[\tau$ ${\mbox{STRUC}}[\tau ]$ 그러면 쿼리는 모든 매핑이 된다.

$I}{\mbox{STRUTC}[\sigma ]\to {\mbox{슈트루크}[\tau ]$

계산 복잡성 이론은 주어진 질의를 표현하는 데 필요한 수학 논리의 힘이라는 관점에서 표현될 수 있다.

주문 독립 쿼리

구조물의 객체 순서가 질의 결과에 영향을 미치지 않는 경우 질의는 순서에 따라 독립적이다.데이터베이스에서 이러한 쿼리는 일반 쿼리에 해당한다(Umerman 1999, 페이지 18).쿼리는 $I({\mathfrak {A}})\equiv I({\mathfrak {B}})$ ( $I({\mathfrak {A}})\equiv I({\mathfrak {B}})$ ) $I({\mathfrak {A}})\equiv I({\mathfrak {B}})$ I $){\displaystyle$ I $({\mathfrak{A}})\equiv I({\mathfrak{B})}$ 모든 이형 구조 ${\mathfrak {A}}$ ${\$ $mathfrak {A$ $}$ ${\mathfrak {B}}$ B ${\displaysty}$ 에 독립된 $I({\mathfrak {A}})\equiv I({\mathfrak {B}})$ 경우 ${\mathfrak {B}}$

참조

^ Neil, Immerman (1999). Descriptive Complexity. New York, NY: Springer New York. ISBN 9781461205395. OCLC 853271745.

P ≟ NP

이 이론적인 컴퓨터 과학 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

[1] Neil, Immerman (1999). Descriptive Complexity. New York, NY: Springer New York. ISBN 9781461205395. OCLC 853271745.

[1]

Search

쿼리(복잡성)

네임스페이스

더

주문 독립 쿼리

참조