From owner-freebsd-hackers@FreeBSD.ORG  Fri May 11 10:11:04 2007
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
X-Original-To: freebsd-hackers@freebsd.org
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id 2351416A400
	for <freebsd-hackers@freebsd.org>; Fri, 11 May 2007 10:11:04 +0000 (UTC)
	(envelope-from joerg@britannica.bec.de)
Received: from www.pkgsrc-box.org (www.ostsee-abc.de [62.206.222.50])
	by mx1.freebsd.org (Postfix) with ESMTP id B810213C45B
	for <freebsd-hackers@freebsd.org>; Fri, 11 May 2007 10:11:03 +0000 (UTC)
	(envelope-from joerg@britannica.bec.de)
Received: from britannica.bec.de (www.pkgsrc-box.org [127.0.0.1])
	by www.pkgsrc-box.org (Postfix) with ESMTP id 547F8E7A3F9
	for <freebsd-hackers@freebsd.org>; Fri, 11 May 2007 10:11:02 +0000 (UTC)
Received: by britannica.bec.de (Postfix, from userid 1000)
	id 2C3CB7E90; Fri, 11 May 2007 12:10:54 +0200 (CEST)
Date: Fri, 11 May 2007 12:10:54 +0200
From: Joerg Sonnenberger <joerg@britannica.bec.de>
To: freebsd-hackers@freebsd.org
Message-ID: <20070511101054.GA1847@britannica.bec.de>
Mail-Followup-To: freebsd-hackers@freebsd.org
References: <200705102105.27271.blackdragon@highveldmail.co.za>
	<f20c8u$htp$1@sea.gmane.org> <4643C7DB.6000408@elischer.org>
	<f219f6$3ls$1@sea.gmane.org> <863b233dq4.fsf@dwp.des.no>
	<46443AF0.2070006@fer.hr> <86tzuj1ydn.fsf@dwp.des.no>
	<46443E8D.7050301@fer.hr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <46443E8D.7050301@fer.hr>
User-Agent: Mutt/1.5.13 (2006-08-11)
Subject: Re: New FreeBSD package system (a.k.a. Daemon Package System (dps))
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 11 May 2007 10:11:04 -0000

On Fri, May 11, 2007 at 11:59:41AM +0200, Ivan Voras wrote:
> I think you're overreacting. You say: if the database is consistent, 
> it's ACID ("Avoiding database corruption is a necessary requirement for, 
> rather than a consequence of, ACID") and I say: if the database is ACID, 
> it's consistent. Aren't we both right?

Database corruption violate I (Integrety) and D (Durability). So you
can't have a database providing ACID without protecting against database
corruption. Consistency is actually the second letter of ACID.

That said, there are limits. Enough issues that can corrupt a sqlite
database can also corrupt the current pkgdb tree. In fact, a number of
issues are less likely to hit sqlite. It doesn't mean that either is
perfect.

Joerg