Deductive Databases And Their Applications

Deductive Databases and Their Applications For Thea and Rosie Deductive Databases and Their Applications ROBERT M.COLOMB The University of Queensland, Australia This edition published in the Taylor & Francis e-Library, 2005. “To purchase your own copy of this or any of Taylor & Francis or Routledge’s collection of thousands of eBooks please go to www.eBookstore.tandf.co.uk.” UK Taylor & Francis Ltd, 1 Gunpowder Square, London EC4A 3DE USA Taylor & Francis Inc., 1900 Frost Road, Suite 101, Bristol, PA 19007 Copyright © Robert M.Colomb 1998 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, electrostatic, magnetic tape, mechanical photocopying, recording or otherwise, without the prior permission of the copyright owner. British Library Cataloguing-in-Publication Data A catalogue record for this book is available from the British Library ISBN 0-203-21263-0 Master e-book ISBN ISBN 0-203-26989-6 (Adobe eReader Format) ISBN 0-7484-0796-0 (Print Edition) HB ISBN 0-7484-0797-9 (Print Edition) PB Library of Congress Cataloging-in-Publication Data are available Cover design by Jim Wilkie Contents Preface ix Introduction 1 1.1 The origins of deductive database technology 1 1.2 Sketch of the technology 2 1.3 Sketch of some applications 3 1.4 Sketch of the mathematical basis 7 1.5 Plan of the book 8 1.6