Quelle est la différence entre “conflit serializable” et “conflit équivalent”?

Dans la base de données de la théorie, quelle est la différence entre "conflit serializable" et "conflit équivalent"?

Mon manuel a une section sur les conflits serializable mais gloses sur les conflits d'équivalence. Ces sont probablement les deux concepts que je suis familier avec, mais je ne suis pas familier avec la terminologie, donc je suis à la recherche d'une explication.

InformationsquelleAutor taz | 2012-12-11
  1. 7

    Juste deux termes pour décrire une chose de différentes façons.

    Conflit équivalent: vous avez besoin de dire que l'Annexe A un conflit est équivalent à l'Annexe B. il doit comporter deux horaires

    Conflit serializable: Toujours utiliser l'Annexe A et de B. on peut dire que l'Annexe A un conflit est sérialisable. L'annexe B est un conflit serializable.

    On n'a pas dit l'Annexe A/B est un conflit équivalent

    On n'a pas dit l'Annexe A est en conflit serializable à l'Annexe B

    • Si vous êtes en insistant sur la différence dans la terminologie spécifique? Utilisation de "conflit d'équivalence", on doit se référer à deux grilles de maintenir conflit d'équivalence avec d'autres? Et à l'utilisation des "conflits serializable", on doit se référer à un barème unique qui a la propriété de conflit équivalent à au moins un autre horaire? Afin de "conflit d'équivalence" se réfère à au moins deux annexes, dont chacun est un "conflit de serializable"?
    • Oui, C'est ce que j'ai appris dans mon Traitement des Transactions de classe. Et doit être droit.
    InformationsquelleAutor fengd
  2. 57

    Conflit dans le SGBD peut être définie comme deux ou plus des opérations et accéder à la même variable et au moins l'un d'entre eux est une opération d'écriture.

    Par exemple:

    T1: Read(X)   
T2: Read (X)

    Dans ce cas, il n'y a pas de conflit, car les deux opérations sont à l'exécution des opérations de lecture.

    Mais dans le cas suivant:

    T1: Read(X)   
T2: Write(X)

    il y a un conflit.

    Permet de dire que nous avons un calendrier S, et on peut réordonner les instructions en eux. et de créer plus de 2 horaires S1 et S2.

    Conflit équivalent: Désigne les horaires S1 et S2 où ils maintiennent l'ordre des instructions contradictoires dans les deux calendriers. Par exemple, si T1 a lire X avant T2 écrit X dans S1, alors il devrait être le même dans S2 aussi. (La commande doit être maintenues que pendant le conflit, les opérations).

    Conflit Serializability: S est dit être en conflit sérialisable si il est le conflit équivalent à une série de travail (p. ex., où les opérations sont exécutées l'une après l'autre).

    • Ce devrait être accepté comme réponse.
    • Vous avez dit dans votre réponse inédite qui vous poster des photos si c'était pas clair. Pourriez vous s'il vous plaît le faire de toute façon?
    InformationsquelleAutor letsBeePolite
  3. 8

    De Wikipédia.

    De conflit d'équivalence

    Les horaires S1 et S2 sont dit être en conflit équivalent, si les conditions suivantes sont remplies:

    1. Deux horaires S1 et S2 impliquer le même ensemble d'opérations (y compris ordre des actions au sein de chaque transaction).

    2. L'ordre de chaque paire de conflit d'actions dans S1 et S2 sont les mêmes.

    Conflit-sérialisable

    Un programme est dit être en conflit serializable lorsque le calendrier est conflit équivalent à un ou plusieurs de série horaires.

    Une autre définition de conflit-serializability est qu'un programme est en conflit-sérialisable si et seulement si son graphe de précédence/serializability graphique, lorsque seules les transactions validées sont considérés, est acyclique (si le graphe est défini de façon à inclure également les transactions non validées, puis les cycles impliquant des transactions non validées peuvent se produire sans conflit serializability violation).

    • Je sais, j'ai lu le Wiki...je ne vois pas comment ces deux choses sont différentes.
    InformationsquelleAutor Damodaran
  4. 4

    Si un rendez-vous peut être transformé en un calendrier de S par une série de swaps de non-conflit d'instructions, nous disons que S et S sont des conflits équivalent.

    Nous disons qu'un calendrier de S un conflit est sérialisable si il est le conflit équivalent à une série d'horaire.

    InformationsquelleAutor Hari Chandu Vakacharla
  5. 1

    Conflit Équivalent Horaires: si un rendez-vous peut être transformé en un calendrier de S "par une série de swaps de non conflit d'instructions, nous disons que le calendrier de S & S' sont en conflit équivalent.

    Conflit Serializable Horaire: Annexe conflit est sérialisable si il est le conflit équivalent à une série d'horaire.

    InformationsquelleAutor thirteenguy
  6. 0

    Conflit serializable signifie un conflit equuivalent à toute série d'horaire.

    InformationsquelleAutor Aditya Guru
  7. 0

    Définitions ont déjà été expliqué parfaitement, mais je sens que cela va être très utile à certains.

    J'ai développé un petit programme de console (sur github) qui peut tester le calendrier des conflits serializability et permettra également de dessiner un graphe de précédence.

    InformationsquelleAutor benscabbia
  8. 0

    Si il y a au moins un conflit équivalent horaire pour l'opération envisagée calendrier, il est le conflit serializable.

    InformationsquelleAutor Pubudu Mahesh Meththananda