તેનો પ્રાથમિક સિદ્ધાંત મૂળભૂત ઉપલબ્ધતા, સોફ્ટ સ્ટેટ, અને આકસ્મિક સુસંગતતા છે: