I en nyligen publicerad artikel av Hellerstein [15] antogs ett snävt förhållande mellan antalet skikt i ett Datalog ¬-program och antalet "samordningssteg" som krävs för dess distribuerade beräkning. Ameloot m.fl. [9] visade att en fråga kan beräknas med hjälp av ett samordningsfritt kontaktnät iff är monotont och därmed svarar jakande på en variant av Hellersteins CALM-antagande, baserat på en särskild definition av samordningsfri beräkning. I detta dokument presenterar vi ytterligare tre modeller för deklarativt nätverksarbete. I dessa varianter har relationsgivare begränsad tillgång till hur data distribueras. Denna variation gör det möjligt för givare nätverk att beräkna fler frågor på ett samordningsfritt sätt: t.ex., en givare kan kontrollera om en markatom A över inmatningsschemat är i "scope" av den lokala noden, och sedan skicka antingen A eller ¬ A till andra noder. Vi visar det överraskande resultatet att den fråga som ges av de välgrundade semantik av det ostratifierbara win-move-programmet är samordningsfri i några av de modeller vi anser. Vi visar också att den ursprungliga leverantörsnätverksmodellen [9] och våra varianter utgör en strikt hierarki av klasser av samordningsfria frågor. Slutligen identifierar vi olika syntaktiska fragment av Datalog ¬  och kallas semimonotonprogram, som kan användas som deklarativa nätverksprogrammeringsspråk, vars distribuerade beräkning garanteras vara så småningom konsekvent och samordningsfri.
Zinn m.fl. REF visade att generaliseringen av hypotesen till starkare varianter av relationstransducernätverk misslyckas.
Win-move is coordination-free (sometimes)
{'venue': "ICDT '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}