Serializability
http://dbpedia.org/resource/Serializability
可串行性（英語：Serializability）是指在计算机里一种多个事务先后之间穿插的用于执行正确调度方式的主要准则，亦是事务之间最高级别的隔离，在并发控制中起着至关重要的作用，其中多个事务并发时的执行顺序要对数据的一致性没有影响。 而可串行化（英語：Serializable）是指并发控制的数据库、事务处理以及各种事务性应用程序（例如,事务内存和软件事务内存）的和分布式事务排程。调度的可串行性意味对于存在共同操作对象的多个并发执行的相同事务串行执行结果（如：生成数据库状态、数据值）“等价”于某个“串行化调度”（即连续的受时间上没有事务重叠影响）。 如果事务之间没有共同的操作对象，则事务之间的执行顺序与前后置换都是没有关系的，但是如果事物间存在共同的操作对象，则事务间先后执行顺序需要区分。事务通常是并发执行的（重叠的），因这是最有效的方法。 自20世纪70年代早期以来，在大多数数据库系统(以各种变体)中都使用了一种流行的可串行机制——强两阶段加锁(SS2PL)。 可串行性理论（英語：Serializability theory）为推理和分析可串行化及其技术提供了形式框架。尽管本质上是数学，但下面非正式地介绍了它的基本原理（没有数学符号）。
rdf:langString
Ένας τρόπος ελέγχου αν ένα χρονοπρόγραμμα είναι σειριοποιήσιμο είναι ο γράφος συγκρούσεων ή γράφο προήγησης (precedence graph) ή γράφο σειριοποιησιμότητας (serialization graph). Ο γράφος χρησιμοποιείται στο πλαίσιο του Ελέγχου Ταυτοχρονισμου στις Βασεις δεδομένων. Με τον γράφο σειριοποιησιμότητας μοντελοποιούμε τις συγκρούσεις μέσα σε ένα χρονοπρόγραμμα με ένα γράφο ο οποίος περιέχει: Το χρονοπρόγραμμα είναι σειριοποιήσιμο συγκρούσεων αν ο γράφος δεν περιέχει κύκλο. Σε αντίθετη περίπτωση δηλαδή αν ο γράφος έχει κύκλο δεν είναι σειριοποιήσιμο συγκρούσεων.
rdf:langString
Der Begriff Serialisierbarkeit stammt aus der Datenbanktheorie der Informatik. In Transaktionssystemen existiert ein Ausführungsplan für die parallele Ausführung mehrerer Transaktionen. Der Plan wird auch Historie genannt und gibt an, in welcher Reihenfolge die einzelnen Operationen der Transaktion ausgeführt werden. Als serialisierbar wird eine Historie bezeichnet, wenn sie zum selben Ergebnis führt wie eine nacheinander (seriell) ausgeführte Historie über dieselben Transaktionen.
rdf:langString
In concurrency control of databases, transaction processing (transaction management), and various transactional applications (e.g., transactional memory and software transactional memory), both centralized and distributed, a transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time. Transactions are normally executed concurrently (they overlap), since this is the most efficient way. Serializability is the major correctness criterion for concurrent transactions' executions. It is considered the highest level of isolation between transactions, and plays an essential role in concurrency control. As such it is supported in all general purpose database systems. Strong s
rdf:langString
データベース、トランザクション処理(トランザクション管理)、多くのトランザクショナルなアプリケーション、集中型および分散コンピューティングにおいて、トランザクションスケジュール(履歴)の結果(最終的なデータベースの状態およびデータベースデータの値)がトランザクションを直列的に実行した場合、つまり、時間的な重複無くシリアルに実行した場合と結果が等しい時、直列化可能である、あるいは直列化可能性という性質を持っていると言う。トランザクションは通常並列に実行され(時間的に重複があり)、それはこの方法がもっとも効率的であるからである。直列化可能性は並列トランザクションの実行において重要な正確性の判定基準である。トランザクション間の最高のレベルでのトランザクション分離レベルであると考えられ、並行性制御において重要な役割を担っている。そのため、汎用データベースシステムの全てにおいて実装されている。厳密な (Strict) ツーフェーズロック(SS2PL)は1970年代の初期から多くのデータベースシステムにおいて用いられている一般的な直列化可能性機構である。
rdf:langString
No controle de concorrência de bancos de dados, processamento de transações (gerenciamento de transação) e em várias aplicações transacionais (por exemplo, e ), centralizadas e distribuídas, um de transação é serializável se o seu resultado (por exemplo, o estado resultante do banco de dados) é igual ao resultado das suas transações executadas serialmente, isto é, sequencialmente, sem se sobrepor no tempo. As operações são normalmente executadas simultaneamente (elas se sobrepõem), uma vez que esta é a maneira mais eficiente. Serialização é o principal critério de correção para execuções das transações simultâneas. É considerado o mais alto nível de entre as transações, e desempenha um papel essencial no controle de concorrência. Como tal, ela é compatível com todos os sistemas de banco
rdf:langString
Граф предшествования (граф сериализации), понятие теории графов. Граф предшествования для последовательности событий S состоит из
* узла для каждой подтвержденной транзакции в S
* стрелки из Ti в Tj если транзакция Ti предшествует или конфликтует с одной из Tj. В заданном расписании S, охватывающем транзакции T1 и T2, T1 предшествует T2, если существуют действия A1 транзакции T1и A2 транзакции T2, удовлетворяющие условиям:
* A1 выполняется раньше A2
* A1 и A2 адресуют один и тот же элемент данных
* Хотя бы одно из действий A1 и A2 связано с операцией записи
rdf:langString
rdf:langString
Serialisierbarkeit
rdf:langString
Γράφος Σειριοποιησιμότητας
rdf:langString
直列化可能性
rdf:langString
Serializability
rdf:langString
Граф предшествования
rdf:langString
Seriação
rdf:langString
可串行性
xsd:integer
4367801
xsd:integer
1120781056
rdf:langString
Ένας τρόπος ελέγχου αν ένα χρονοπρόγραμμα είναι σειριοποιήσιμο είναι ο γράφος συγκρούσεων ή γράφο προήγησης (precedence graph) ή γράφο σειριοποιησιμότητας (serialization graph). Ο γράφος χρησιμοποιείται στο πλαίσιο του Ελέγχου Ταυτοχρονισμου στις Βασεις δεδομένων. Με τον γράφο σειριοποιησιμότητας μοντελοποιούμε τις συγκρούσεις μέσα σε ένα χρονοπρόγραμμα με ένα γράφο ο οποίος περιέχει:
* Ένα κόμβο για κάθε συναλλαγή
* Μια κατευθυνόμενη ακμή από την συναλλαγή Ti στην συναλλαγή Tj, αν μια ενέργεια της Ti συγκρούεται με μια επακόλουθή της, της Tj. Δηλαδή για παράδειγμα αν έχουμε την εξής σύγκρουση R1(A);W2(A) τότε θα σχεδιάσουμε μία ακμή από τον προηγούμενο κόμβο στον επόμενο δηλαδή από το 1 προς το 2. Το χρονοπρόγραμμα είναι σειριοποιήσιμο συγκρούσεων αν ο γράφος δεν περιέχει κύκλο. Σε αντίθετη περίπτωση δηλαδή αν ο γράφος έχει κύκλο δεν είναι σειριοποιήσιμο συγκρούσεων.
rdf:langString
Der Begriff Serialisierbarkeit stammt aus der Datenbanktheorie der Informatik. In Transaktionssystemen existiert ein Ausführungsplan für die parallele Ausführung mehrerer Transaktionen. Der Plan wird auch Historie genannt und gibt an, in welcher Reihenfolge die einzelnen Operationen der Transaktion ausgeführt werden. Als serialisierbar wird eine Historie bezeichnet, wenn sie zum selben Ergebnis führt wie eine nacheinander (seriell) ausgeführte Historie über dieselben Transaktionen. Man unterscheidet Konfliktserialisierbarkeit, Sichtenserialisierbarkeit und 1-Serialisierbarkeit. Steht der Begriff Serialisierbarkeit allein, wird er meistens als Konfliktserialisierbarkeit verstanden.
rdf:langString
In concurrency control of databases, transaction processing (transaction management), and various transactional applications (e.g., transactional memory and software transactional memory), both centralized and distributed, a transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time. Transactions are normally executed concurrently (they overlap), since this is the most efficient way. Serializability is the major correctness criterion for concurrent transactions' executions. It is considered the highest level of isolation between transactions, and plays an essential role in concurrency control. As such it is supported in all general purpose database systems. Strong strict two-phase locking (SS2PL) is a popular serializability mechanism utilized in most of the database systems (in various variants) since their early days in the 1970s. Serializability theory provides the formal framework to reason about and analyze serializability and its techniques. Though it is mathematical in nature, its fundamentals are informally (without mathematics notation) introduced below.
rdf:langString
データベース、トランザクション処理(トランザクション管理)、多くのトランザクショナルなアプリケーション、集中型および分散コンピューティングにおいて、トランザクションスケジュール(履歴)の結果(最終的なデータベースの状態およびデータベースデータの値)がトランザクションを直列的に実行した場合、つまり、時間的な重複無くシリアルに実行した場合と結果が等しい時、直列化可能である、あるいは直列化可能性という性質を持っていると言う。トランザクションは通常並列に実行され(時間的に重複があり)、それはこの方法がもっとも効率的であるからである。直列化可能性は並列トランザクションの実行において重要な正確性の判定基準である。トランザクション間の最高のレベルでのトランザクション分離レベルであると考えられ、並行性制御において重要な役割を担っている。そのため、汎用データベースシステムの全てにおいて実装されている。厳密な (Strict) ツーフェーズロック(SS2PL)は1970年代の初期から多くのデータベースシステムにおいて用いられている一般的な直列化可能性機構である。 分散直列化可能性はトランザクショナルな分散システム(例えば分散データベースシステム)のスケジュールの直列化可能性である。インターネット、クラウドコンピューティング、グリッドコンピューティング、小型で携帯可能な高性能なコンピューティングデバイス(例えばスマートフォン)の普及により、分散アプリケーション間において正確性を保証するための効率的な分散直列化可能性を提供する技術の必要が増している。コミットメント順序付け (もしくはコミット順序付け; CO; 1991発表)は一般的な順列化技術であり、異なる(どのような)並列処理管理機構において効率的に分散直列化可能性を実現するものであり、異なる機構による異種混合環境でも適用できる。COは機構の処理に干渉せず、さらに自動的な分散デッドロック解消を保証する。他の分散直列化可能性機能とは違い、COはローカルな並行性制御情報(例えば、ローカルな優先関係、ロック、タイムスタンプ、チケット)の配布を必要とせず、このことがスケーラビリティをもたらし、通常多くのオーバヘッドや遅延を減らすことが出来る。従って、CO(SS2PLのような派生種を含む)は分散直列化可能性のための唯一の既知で効果的な一般的手法である。そして唯一実在しているものである。広く使われているSS2PLはCOの特殊なケースであり、1980年代から複数の(SS2PLベースの)データベースシステム間の分散直列化可能性のためのデファクトスタンダードであり、COの特徴を多く継承している。COは1997年より、トランザクショナルプロセスの研究における分散直列化可能性の実現法として広く活用されている。近年ではグリッドコンピューティングの実現法や、クラウドコンピューティングの実現法として、COの楽観的な派生種が提案された。
rdf:langString
Граф предшествования (граф сериализации), понятие теории графов. Граф предшествования для последовательности событий S состоит из
* узла для каждой подтвержденной транзакции в S
* стрелки из Ti в Tj если транзакция Ti предшествует или конфликтует с одной из Tj. В заданном расписании S, охватывающем транзакции T1 и T2, T1 предшествует T2, если существуют действия A1 транзакции T1и A2 транзакции T2, удовлетворяющие условиям:
* A1 выполняется раньше A2
* A1 и A2 адресуют один и тот же элемент данных
* Хотя бы одно из действий A1 и A2 связано с операцией записи Граф предшествования позволяет наглядно показать, является ли расписание условно-последовательным.
rdf:langString
No controle de concorrência de bancos de dados, processamento de transações (gerenciamento de transação) e em várias aplicações transacionais (por exemplo, e ), centralizadas e distribuídas, um de transação é serializável se o seu resultado (por exemplo, o estado resultante do banco de dados) é igual ao resultado das suas transações executadas serialmente, isto é, sequencialmente, sem se sobrepor no tempo. As operações são normalmente executadas simultaneamente (elas se sobrepõem), uma vez que esta é a maneira mais eficiente. Serialização é o principal critério de correção para execuções das transações simultâneas. É considerado o mais alto nível de entre as transações, e desempenha um papel essencial no controle de concorrência. Como tal, ela é compatível com todos os sistemas de banco de dados de uso geral. O (Strong Strict Two-Phase Locking - SS2PL) é um mecanismo de seriação popular utilizado na maioria dos sistemas de banco de dados (em várias variantes) desde o seu começo da década de 1970. A teoria da seriação fornece a estrutura formal para discutir e analisar seriação e suas técnicas.
rdf:langString
可串行性（英語：Serializability）是指在计算机里一种多个事务先后之间穿插的用于执行正确调度方式的主要准则，亦是事务之间最高级别的隔离，在并发控制中起着至关重要的作用，其中多个事务并发时的执行顺序要对数据的一致性没有影响。 而可串行化（英語：Serializable）是指并发控制的数据库、事务处理以及各种事务性应用程序（例如,事务内存和软件事务内存）的和分布式事务排程。调度的可串行性意味对于存在共同操作对象的多个并发执行的相同事务串行执行结果（如：生成数据库状态、数据值）“等价”于某个“串行化调度”（即连续的受时间上没有事务重叠影响）。 如果事务之间没有共同的操作对象，则事务之间的执行顺序与前后置换都是没有关系的，但是如果事物间存在共同的操作对象，则事务间先后执行顺序需要区分。事务通常是并发执行的（重叠的），因这是最有效的方法。 自20世纪70年代早期以来，在大多数数据库系统(以各种变体)中都使用了一种流行的可串行机制——强两阶段加锁(SS2PL)。 可串行性理论（英語：Serializability theory）为推理和分析可串行化及其技术提供了形式框架。尽管本质上是数学，但下面非正式地介绍了它的基本原理（没有数学符号）。
xsd:nonNegativeInteger
30914