Can aggregate root reference another root?

This is dependent on the context you are in. I will try to explain with a few different context examples and answer the question at the end.

Let's say the first context is all about adding new items to the system. In this context the Item is the aggregate root. You will most likely be constructing and adding new items to your data store or remove items. Let's say the class might look as follows:

namespace ItemManagement
{
    public class Item : IAggregateRoot // For clarity
    {
        public int ItemId {get; private set;}

        public string Description {get; private set;}

        public decimal Price {get; private set;}

        public Color Color {get; private set;}

        public Brand Brand {get; private set;} // In this context, Brand is an entity and not a root

        public void ChangeColor(Color newColor){//...}

        // More logic relevant to the management of Items.
    }
}

Now let's say a different part of the system allows the composition of a purchase order by adding and removing items from the order. Not only is Item not an aggregate root in this context, but ideally it will not even be the same class. Why? Because Brand, Color and all of the logic will most likely be completely irrelevant in this context. Here is some example code:

namespace Sales
{
    public class PurchaseOrder : IAggregateRoot
    {
        public int PurchaseOrderId {get; private set;}

        public IList<int> Items {get; private set;} //Item ids

        public void RemoveItem(int itemIdToRemove)
        {
            // Remove by id
        }

        public void AddItem(int itemId) // Received from UI for example
        {
            // Add id to set
        }
    }
}

In this context Item is only represented by an Id. This is the only relevant part in this context. We need to know what items are on the purchase order. We don't care about brand or anything else. Now you are probably wondering how would you know the price and description of items on the purchase order? This is yet another context - view and removing items, similar to many 'checkout' systems on the web. In this context we might have the following classes:

namespace Checkout
{
    public class Item : IEntity
    {
        public int ItemId {get; private set;}

        public string Description {get; private set;}

        public decimal Price {get; private set;}
    }

    public class PurchaseOrder : IAggregateRoot
    {
        public int PurchaseOrderId {get; private set;}

        public IList<Item> Items {get; private set;}

        public decimal TotalCost => this.Items.Sum(i => i.Price);

        public void RemoveItem(int itemId)
        {
            // Remove item by id
        }
    }
}

In this context we have a very skinny version of item, because this context does not allow alteration of Items. It only allows the viewing of a purchase order and the option to remove items. The user might select an Item to view, in which case the context switches again and you may load the full item as the aggregate root in order to display all the relevant information.

In the case of determining whether you have stock, I would think that this is yet another context with a different root. For example:

namespace warehousing
{
    public class Warehouse : IAggregateRoot
    {
        // Id, name, etc

        public IDictionary<int, int> ItemStock {get; private set;} // First int is item Id, second int is stock

        public bool IsInStock(int itemId)
        {
            // Check dictionary to see if stock is greater than zero
        }
    }
}

Each context, through its own version of the root and entities, exposes the information and logic it requires to perform its duties. Nothing more and nothing less.

I understand that your actual application will be significantly more complex, requiring stock checks before adding items to a PO, etc. The point is that your root should ideally already have everything loaded that is required for the function to be completed and no other context should affect the setup of the root in a different context.

So to answer your question - Any class could be either an entity or a root depending on the context and if you've managed your bounded contexts well, your roots will rarely have to reference each other. You don't HAVE to reuse the same class in all contexts. In fact, using the same class often leads to things like a User class being 3000 lines long because it has logic to manage bank accounts, addresses, profile details, friends, beneficiaries, investments, etc. None of these things belong together.

To respond to your questions

  1. Q: Why Item AR is called ItemManagement but PO AR is called just PurchaseOrder?

The namespace name reflects the name of the context you are in. So in the context of item management, the Item is the root and it is placed in the ItemManagement namespace. You can also think of ItemManagement as the Aggregate and Item as the Root of this aggregate. I'm not sure if this answers your question.

  1. Q: Should Entities (like light Item) have methods and logic as well?

That entirely depends on what you context is about. If you are going to use Item only for displaying prices and names, then no. Logic should not be exposed if it should not be used in the context. In the Checkout context example, the Item has no logic because they only serve the purpose of showing the user what the purchase order is composed of. If there is a different feature where, for example, the user can change the color of an item (like a phone) on the purchase order during checkout, you might consider adding this type of logic on the item in that context.

  1. How ARs access database? Should they have an interface.. let's say IPurchaseOrderData, with a method like void RemoveItem(int itemId)?

I apologize. I assumed that your system is using some sort of ORM like (N)Hibernate or Entity framework. In the case of such an ORM, the ORM would be smart enough to automatically convert collection updates to the correct sql when the root is persisted (given that your mapping is configured correctly). In the case where you manage your own persistence, it's slightly more complicated. To answer the question directly - you can inject a datastore interface into the root, but I would suggest rather not.

You could have a repository that can load and save aggregates. Lets take the purchase order example with items in the CheckOut context. Your repository will likely have something like the following:

public class PurchaseOrderRepository
{
    // ...
    public void Save(PurchaseOrder toSave)
    {
        var queryBuilder = new StringBuilder();

        foreach(var item in toSave.Items)
        {
           // Insert, update or remove the item
           // Build up your db command here for example:
           queryBuilder.AppendLine($"INSERT INTO [PurchaseOrder_Item] VALUES ([{toSave.PurchaseOrderId}], [{item.ItemId}])");

        }
    }
    // ...
}

And your API or service layer would look like something this:

public void RemoveItem(int purchaseOrderId, int itemId)
{
    using(var unitOfWork = this.purchaseOrderRepository.BeginUnitOfWork())
    {
        var purchaseOrder = this.purchaseOrderRepository.LoadById(purchaseOrderId);

        purchaseOrder.RemoveItem(itemId);

        this.purchaseOrderRepository.Save(purchaseOrder); 

        unitOfWork.Commit();
    }
}

In this case your repository could become quite hard to implement. It might actually be easier to make it delete items on the purchase order and re-add the ones that are on the PurchaseOrder root (easy but not recommended). You would have a repository per aggregate root.

Off topic: An ORM like (N)Hibernate will deal with the Save(PO) by tracking all changes made to your root since it was loaded. So it will have an internal history of what has changed and issue the appropriate commands to bring your database state in sync with your root state when you save by emitting SQL to address each change made to the root and its children.


Although this question has an accepted answer, reading this article may help the other readers of this question.
According to this section of the article, Instead of referencing another aggregate directly, create a value object that wraps the ID of the aggregate root and use that as the reference. This makes it easier to maintain aggregate consistency boundaries since you cannot even accidentally change the state of one aggregate from within another. It also prevents deep object trees from being retrieved from the data store when an aggregate is retrieved.